Clicky

Formal models and techniques for analyzing security protocols by Véronique Cortier and similar books you'll love - Bookscovery

Home > Authors > Véronique Cortier > Formal models and techniques for analyzing security protocols

Buy at: Bookshop.org Amazon

Formal models and techniques for analyzing security protocols

Véronique Cortier, Steve Kremer

Recent activity

Rate this book to see your activity here.

2 Books Similar to Formal models and techniques for analyzing security protocols by Véronique Cortier

Bookscovery readers who liked Formal models and techniques for analyzing security protocols also like Formal to Practical Security, and Principles of Security and Trust. How many of these have you read?

Formal to Practical Security by Véronique Cortier

Cover of Formal to Practical Security
Buy this book at:
Bookshop.org Amazon

Principles of Security and Trust by Martín Abadi

Cover of Principles of Security and Trust
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal models and techniques for analyzing security protocols

Please sign in to leave a comment