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

people	Gavin Lowe
activities	Security