Allaa Kamil: Publications

[1]	Specifying and Modelling Secure Channels in Strand Spaces Allaa Kamil, Gavin Lowe Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009), 2009. Details \| BibTeX \| Download (pdf)

[2]	Analysing TLS in the Strand Spaces Model Allaa Kamil, Gavin Lowe Technical Report, 2008. Details \| BibTeX \| Download (pdf)