Formal Models and Techniques for Analyzing Security Protocols: A Tutorial

Véronique Cortier | Steve Kremer

978-1-60198-902-4

90.00 USD