Specifying and Modelling Secure Channels in Strand Spaces
Allaa Kamil and Gavin Lowe
Book Title
Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009)
How Published
In Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009)
Journal
Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009)
Year
2009