Allaa Kamil : Publications
|
[1] |
Analysing TLS in the Strand Spaces Model Allaa Kamil and Gavin Lowe 2008. |
|
[2] |
Specifying and Modelling Secure Channels in Strand Spaces Allaa Kamil and Gavin Lowe Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009). 2009. |