Specifying and Modelling Secure Channels in Strand Spaces
Allaa Kamil and Gavin Lowe
Details
| 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 |
Links
Related pages
|
People |