Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Intensional specifications of security protocols

Intensional specifications of security protocols

A. W. Roscoe

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

Links

See Also

Back to Top