000			00613nam a2200193Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780769506715 _c(pbk)
082			_223 _a005.8 _bTIT
100			_aTitsworth, Frances M.
245		0	_a13th IEEE Computer Security Foundations Workshop
260			_aNew York: _bIEEE Computer Society, _c2000
300			_a285 p.; _b: _c27 cm.
650			_aAutomated Security Protocols Methods
650			_aMultiset Rewriting
650			_aNetwork Security
650			_aProceedings of 13th IEEE Computer Security Workshop
650			_aProtocol Methods
942			_2ddc _cBK
999			_c18688 _d18688