Modelling and Analysis of Security Protocols
Publisher: Addison-Wesley Professional
Published: December 21, 2000
Language: eng
Number of pages: 320
ISBN-13: 9780201674712