Skip to main content

On the Specification of Secure Channels

Christopher Dilloway and Gavin Lowe

Book Title
Proceedings of the Workshop on Issues in the Theory of Security (WITS '07)
Year
2007