Formal models and techniques for analyzing security protocols
Additional authors:
ebrary, Inc.
Series:
Cryptology and information security series,
1871-6431 ;
. v. 5
Published by :
IOS Press,
(Washington, D.C. :)
Physical details: vii, 303 p. : ill.
Year: 2011
Online resources:
-
http://site.ebrary.com/lib/rucke/Doc?id=10506344
- An electronic book accessible through the World Wide Web; click to view
No physical items for this record
Includes bibliographical references and index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments on this title.