Skip to main content

Understanding Abstractions of Secure Channels

Allaa Kamil and Gavin Lowe

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