Formal models and techniques for analyzing security protocols

edited by Véronique Cortier and Steve Kremer
Bok · Engelsk · 2011

Utgitt	Amsterdam : IOS Press , c2011
Omfang	312 s. : ill
Emner	Datasikkerhet : (NO-TrBIB)REAL005212 Metoder : (NO-TrBIB)REAL013555 Protokollanalyse : (NO-TrBIB)REAL003239 Protokoller : (NO-TrBIB)REAL009483
Dewey	005.8
ISBN	1607507137. - 9781607507130