Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Analysing Applications Layered on Unilaterally Authenticating Protocols

Analysing Applications Layered on Unilaterally Authenticating Protocols

Thomas Gibson−Robinson and Gavin Lowe

Book Title
Proceedings of Formal Aspects of Security and Trust (FAST 2011)
Year
2011

Links

See Also

Back to Top