University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Allaa Kamil : Publications

By dateBy titleBy typeBibtex

Click here to download all publications in a single bibtex file

@article{strands-channels,
  title = "Specifying and Modelling Secure Channels in Strand Spaces",
  author = "Allaa Kamil and Gavin Lowe",
  year = "2009",
  booktitle = "Proceedings of the Worskshop on Formal Aspects of Security and Trust (FAST 2009)",
  howpublished = "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)",
}
@techreport{440,
  title = "Analysing TLS in the Strand Spaces Model",
  author = "Allaa Kamil and Gavin Lowe",
  year = "2008",
}