Specifying and Modelling Secure Channels in Strand Spaces
Allaa Kamil and Gavin Lowe infobook 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 |
links
BibTeX
Download (pdf)
related pages
|
