Formal Models and Techniques for Analyzing Security Protocols
Subtitle: A Tutorial
Publisher: Now Publishers
Published: 2014
Language: eng
ISBN-13: 9781601989024