Analysing Applications Layered on Unilaterally Authenticating Protocols
Thomas Gibson−Robinson and Gavin Lowe
Details
| Book Title |
Proceedings of Formal Aspects of Security and Trust (FAST 2011) |
| Year |
2011 |
Links
Related pages
|
People |