000			02225nam a22005415i 4500
001			978-3-642-16074-5
003			DE-He213
005			20140220084548.0
007			cr nn 008mamaa
008			101005s2010 gw | s |||| 0|eng d
020			_a9783642160745 _9978-3-642-16074-5
024	7		_a10.1007/978-3-642-16074-5 _2doi
050		4	_aQA76.9.A25
072		7	_aURY _2bicssc
072		7	_aCOM053000 _2bisacsh
082	0	4	_a005.82 _223
100	1		_aArmando, Alessandro. _eeditor.
245	1	0	_aAutomated Reasoning for Security Protocol Analysis and Issues in the Theory of Security _h[electronic resource] : _bJoint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / _cedited by Alessandro Armando, Gavin Lowe.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010.
300			_aIX, 185p. 39 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v6186
520			_aThis book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.
650		0	_aComputer science.
650		0	_aComputer Communication Networks.
650		0	_aSoftware engineering.
650		0	_aData encryption (Computer science).
650		0	_aComputer software.
650	1	4	_aComputer Science.
650	2	4	_aData Encryption.
650	2	4	_aComputer Communication Networks.
650	2	4	_aComputers and Society.
650	2	4	_aAlgorithm Analysis and Problem Complexity.
650	2	4	_aSoftware Engineering.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
700	1		_aLowe, Gavin. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642160738
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v6186
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-16074-5
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c112765 _d112765