Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. A derivation system and compositional logic for security protocols

A derivation system and compositional logic for security protocols

Anupam Datta‚ Ante Derek‚ John Mitchell and Dusko Pavlovic

Journal
J. of Comp. Security
Pages
423–482
Volume
13
Year
2005

Links

See Also

Back to Top