000			00687nam a2200229Ia 4500
008			161214s9999 xx 000 0 und d
020			_a0201674718 _c(pbk)
082			_223 _a005.8 _bRYA
100			_aRyan, Peter
245		0	_aModeling and analysis of security protocols
260			_aHarlow: _bAddison-Wesley, _c2001
300			_axiv, 300 p.; _b: _c24 cm.
650			_aComputer network protocols
650			_aComputer networks - Access control
650			_aComputer security
650			_aComputers - Access control
650			_aCryptography - Mathematical models
700			_aGoldsmith, Michael
700			_aLowe, Gavin
700			_aSchneider, Steve
942			_2ddc _cBK
999			_c1329 _d1329