000 02133nam a22004815a 4500
005 20250914164133.0
006 m d
007 cr nn 008maaau
008 090217s2005 mau j eng d
020 _a9780387240985 (electronic bk.)
020 _a9780387240503 (paper)
035 _a(Springer)978-0-387-24050-3
039 9 _a200902171209
_bmuhaimin
_c200902171150
_dmuhaimin
_c200902021305
_dmuhaimin
_c200809161711
_dmuhaimin
_y04-03-2008
_zmuhaimin
050 0 0 _aQA76.9.A25
_bW666 2004
082 0 0 _a005.8
_222
090 _aQA76.9.A25
_bW927 2004
111 2 _aWorkshop on Formal Aspects in Security and Trust
_n(2nd :
_d2004 :
_cToulouse, France)
245 1 0 _aFormal Aspects in Security and Trust
_h[electronic resource] :
_bIFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France /
_cedited by Theo Dimitrakos, Fabio Martinelli.
260 _aBoston, MA :
_bInternational Federation for Information Processing,
_c2005.
300 _ax, 246 p. :
_bill., digital ;
_c25 cm.
440 0 _aIFIP International Federation for Information Processing,
_x1571-5736 ;
_v173
650 0 _aComputer security
_vcongresses.
650 0 _aFormal methods (Computer science)
_vCongresses.
650 0 _aTrust
_vCongresses.
650 1 4 _aComputer Science.
650 2 4 _aPerformance and Reliability.
650 2 4 _aData Structures, Cryptology and Information Theory.
650 2 4 _aData Encryption.
650 2 4 _aPattern Recognition.
650 2 4 _aInformation Systems and Communication Service.
650 2 4 _aModels and Principles.
700 1 _aDimitrakos, Theo.
700 1 _aMartinelli, Fabio.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer e-books
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/login?url=http://dx.doi.org/10.1007/b104303
907 _a.b14109979
_b2022-04-06
_c2019-11-12
942 _n0
_kQA76.9.A25 W927 2004
914 _avtls003368403
998 _ae
_b2008-03-04
_cm
_dz
_feng
_gmau
_y0
_z.b14109979
999 _c406979
_d406979