Modeling and Verifying Security Protocols with the Applied Pi Calculus and Proverif (Foundations and Trends(r) in Privacy and Security)

Sold Out / Out of Stock

Customers who purchased this also purchased....