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

Verifying layered security protocols

Thomas Gibson−Robinson‚ Allaa Kamil and Gavin Lowe

Journal
Journal of Computer Security
Number
3
Pages
259–307
Volume
23
Year
2015

Links

See Also

Back to Top