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

Book Title
Proceedings of CSFW 1998
Publisher
IEEE Press
Year
1998

Links

See Also

Back to Top