000			00632nam a2200193Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9783540681342 _c(hbk)
082			_223 _a005.82 _bBEL
100			_aBella, Giampaolo
245		0	_aFormal correctness of security protocols
260			_aBerlin: _bSpringer, _c2007
300			_axviii, 274 p.; _bill.: _c24 cm.
490			_aInformation security and cryptography
650			_aComputer network protocols
650			_aComputer networks -- Security measures
650			_aData encryption (Computer science)
650			_aInformation security and cryptography
942			_2ddc _cBK
999			_c22368 _d22368