Formal models and techniques for analyzing security protocolsVéronique Cortier
Formal models and techniques for analyzing security protocols
Véronique Cortier, Steve Kremer · 2011
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2011
- Language
- English
- Series
- Cryptology and information security series -- v. 5
- Publisher
- IOS Press
- Editions
- 3
- Pages
- 303
- ISBN
- 9781607507130
Data source: Wikidata