There are 1 Results with the keyword : "Cassis"
Publication
Formal Models and Techniques for Analyzing Security Protocols
Release of "Formal Models and Techniques for Analyzing Security Protocols / Cryptology and Information Security Series (Vol.5)", a new book co-written by Steve Kremer (Secsi project-team) and Véronique Cortier (Cassis project-team).
Keywords:
Home > Centre > Saclay > News > Formal Models and Techniques for Analyzing Security Protocols