Understanding Abstractions of Secure Channels
Allaa Kamil and Gavin Lowe
Details
| Book Title |
Proceedings of Formal Aspects of Security and Trust (FAST 2010) |
| Year |
2010 |
Links
Related pages
|
People |