Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. The perfect ‘spy’ for model−checking cryptoprotocols

The perfect ‘spy’ for model−checking cryptoprotocols

AW Roscoe and MH Goldsmith

Journal
Proceedings of DIMACS workshop on the design and formal verification of cryptographic protocols
Volume
574
Year
1997

Links

See Also

Back to Top