. (2011) Formal models and techniques for analyzing security protocolsWashington, D.C. : IOS Press,MLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Formal models and techniques for analyzing security protocols [electronic resource] /
edited by Véronique Cortier and Steve Kremer.
|Published:||Washington, D.C. : IOS Press, 2011.|
Cryptology and information security series ; v. 5.
Link to Formal models and techniques for analyzing security protocols (Opens in a new window) (access limited to Benedictine University patrons)