Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Modelling and verifying key−exchange protocols using CSP and FDR

Modelling and verifying key−exchange protocols using CSP and FDR

A. W. Roscoe

Book Title
Proceedings of 1995 IEEE Computer Security Foundations Workshop
Publisher
IEEE Computer Society Press
Year
1995

Links

See Also

Back to Top