Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Model checking cryptographic protocols subject to combinatorial attack

Model checking cryptographic protocols subject to combinatorial attack

A.W. Roscoe‚ T. Smyth and L. Nguyen

Year
2012

Links

See Also

Back to Top