000			00690nam a2200205Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9781607507130 _c(hbk)
082			_223 _a005.82 _bCOR
100			_aCortier, Veronique
245		0	_aFormal models and techniques for analyzing security protocols
260			_aAmsterdam: _bIOS Press, _c2011
300			_avii, 303 p.; _bill.: _c25 cm.
490			_aCryptology and information security series
650			_aComputer networks -- Security measures
650			_aComputer security
650			_aComputers -- Access control
650			_aElectronic information resources -- Access control
700			_aKremer, Steve
942			_2ddc _cBK
999			_c21392 _d21392