Clicky

Formal to Practical Security by Véronique Cortier and similar books you'll love - Bookscovery

Home > Authors > Véronique Cortier > Formal to Practical Security

Buy at: Bookshop.org Amazon

Recent activity

Rate this book to see your activity here.

5 Books Similar to Formal to Practical Security by Véronique Cortier

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

Formal models and techniques for analyzing security protocols by Véronique Cortier

Cover of Formal models and techniques for analyzing security protocols
Buy this book at:
Bookshop.org Amazon

Rewriting, Computation and Proof by Hubert Comon-Lundh

Cover of Rewriting, Computation and Proof
Buy this book at:
Bookshop.org Amazon

Unification by Claude Kirchner

Cover of Unification
Buy this book at:
Bookshop.org Amazon

Advances in Mathematical Logic by Toshiyasu Arai

Cover of Advances in Mathematical Logic
Buy this book at:
Bookshop.org Amazon

Software Security -- Theories and Systems by Mitsuhiro Okada

Cover of Software Security -- Theories and Systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal to Practical Security

Please sign in to leave a comment