Proof-Based Design of Security Protocols.

Nazim Benassa, Dominique Mry

Browse the full CSR paper archive.