Formal Correctness of Security Protocols (Information Security and Cryptography)
by Giampaolo Bella
ISBN 13: 9783540681342
Format: Hardcover (274 pages) Publisher: Springer Published: 05 Mar 2007
Save for later