Cover of Formal to Practical Security

Mark as

Formal to Practical Security

by Véronique Cortier

Buy this book
Add to a list
Review

More by Véronique Cortier

Formal models and techniques for analyzing security protocols

by Véronique Cortier

Cover of Formal models and techniques for analyzing security protocols
Review
Buy this book More books like Formal models and techniques for analyzing security protocols

Rewriting, Computation and Proof

by Hubert Comon-Lundh

Cover of Rewriting, Computation and Proof
Review
Buy this book More books like Rewriting, Computation and Proof

Unification

by Claude Kirchner

Cover of Unification
Review
Buy this book More books like Unification

Advances in Mathematical Logic

by Satoru Kuroda

Cover of Advances in Mathematical Logic
Review
Buy this book More books like Advances in Mathematical Logic

Software Security -- Theories and Systems

by Akinori Yonezawa

Cover of Software Security -- Theories and Systems
Review
Buy this book More books like Software Security -- Theories and Systems

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment