000 02150nam a2200481 a 4500
005 20250918123638.0
006 m d
007 cr nn 008maaau
008 101220s2009 gw j eng d
020 _a9783642034596 (electronic bk.)
020 _a9783642034589 (paper)
035 _a(Springer)978-3-642-03458-9
039 9 _y12-20-2010
_zmuhaimin
050 0 4 _aQA76.9.A25
_bJ65 2009
082 0 4 _a005.8
_222
090 _aQA76.9.A25
_bJ74 2009
111 2 _aJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
_d(2009 :
_cYork, England)
245 1 0 _aFoundations and applications of security analysis
_h[electronic resource] :
_bJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers /
_cedited by Pierpaolo Degano, Luca Vigano.
260 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2009.
300 _ax, 221 p. :
_bill., digital ;
_c24 cm.
440 0 _aLecture notes in computer science,
_x0302-9743 ;
_v5511
650 0 _aComputer security
_vcongresses.
650 0 _aFormal methods (Computer science)
_vCongresses.
650 0 _aCryptography
_vCongresses.
650 2 4 _aCoding and Information Theory.
650 2 4 _aComputer Communication Networks.
650 1 4 _aComputer Science.
650 2 4 _aData Encryption.
650 2 4 _aData Structures, Cryptology and Information Theory.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aComputer Systems Organization and Communication Networks.
700 1 _aDegano, Pierpaolo.
700 1 _aVigano, Luca.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-03459-6
907 _a.b14862992
_b2024-10-01
_c2019-11-12
942 _n0
_kQA76.9.A25 J74 2009
914 _avtls003447826
998 _ae0001
_b2010-07-12
_cm
_da
_feng
_ggw
_y0
_z.b14862992
999 _c472882
_d472882