Skip to main content

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