000			00928nam a2200253 a 4500
001			vtls000022391
003			KUKTEM
005			20251117144426.0
008			071116s2007 nyu f 000 0 eng|d
020			_a9783540681342
039		9	_a201107131939 _bVLOAD _c200909040807 _dida _c200908141350 _dVLOAD _c200908141322 _dVLOAD _y200711161616 _zfarina
040			_aUMP
090			_aQA76.9.A25 B45 2007
100	1		_aBella, Giampaolo
245	1	0	_aFormal correctness of security protocols / _cGiampaolo Bella
260			_aNew York : _bSpringer, _c2007
300			_axviii, 274 p. : _bill. ; _c24 cm.
440		0	_aInformation security and cryptography
504			_aIncludes bibliographical references
650		0	_aComputer security
650		0	_aComputer networks _xSecurity measures
650		0	_aComputer network protocols
999			_aVIRTUA40 _c36070 _d36076
999			_aVTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*4400*5040*6500*6501*6502*9991