Modeling and Verifying Security Protocols with the Applied Pi Calculus and Proverif
Publisher: Now Publishers
Published: 2016
Language: eng
ISBN-13: 9781680832068
Subjects: Computer security