Login / Signup

A Derivation System for Security Protocols and its Logical Formalization.

Anupam DattaAnte DerekJohn C. MitchellDusko Pavlovic
Published in: CSFW (2003)
Keyphrases