Formal models and techniques for analyzing security protocols
By: edited by Véronique Cortier and Steve Kremer
Series: Cryptology and information security series -- v. 5; Cryptology and information security series -- v. 5.
Publisher: IOS Press
Published: 2011
Place of publication: Amsterdam; Washington, DC
Language: eng
Number of pages: 303
ISBN-13: 9781607507130; 9781607507147
Subjects: Computer security; Access control; Computer networks; Computers; Security measures; Electronic information resources
Notes: Includes bibliographical references and index.