booktheque

Véronique Cortier

2 ספרים במאגר

ספרים

Formal models and techniques for analyzing security protocols
Véronique Cortier · 2011
Formal to Practical Security
Véronique Cortier · 2009