Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Proving security protocols with model checkers by data independence techniques

Proving security protocols with model checkers by data independence techniques

A. W. Roscoe and P.J. Broadfoot

Journal
Journal of Computer Security
Volume
7
Year
1999

Links

See Also

Back to Top