BibTeX records: Allaa Kamil

• > Home > Persons > Allaa Kamil

@article{DBLP:journals/jcs/Gibson-Robinson15,
  author       = {Thomas Gibson{-}Robinson and
                  Allaa Kamil and
                  Gavin Lowe},
  title        = {Verifying layered security protocols},
  journal      = {J. Comput. Secur.},
  volume       = {23},
  number       = {3},
  pages        = {259--307},
  year         = {2015},
  url          = {https://doi.org/10.3233/JCS-150526},
  doi          = {10.3233/JCS-150526},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcs/Gibson-Robinson15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcs/KamilL11,
  author       = {Allaa Kamil and
                  Gavin Lowe},
  title        = {Analysing {TLS} in the strand spaces model},
  journal      = {J. Comput. Secur.},
  volume       = {19},
  number       = {5},
  pages        = {975--1025},
  year         = {2011},
  url          = {https://doi.org/10.3233/JCS-2011-0429},
  doi          = {10.3233/JCS-2011-0429},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcs/KamilL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip1-7/KamilL10,
  author       = {Allaa Kamil and
                  Gavin Lowe},
  editor       = {Pierpaolo Degano and
                  Sandro Etalle and
                  Joshua D. Guttman},
  title        = {Understanding Abstractions of Secure Channels},
  booktitle    = {Formal Aspects of Security and Trust - 7th International Workshop,
                  {FAST} 2010, Pisa, Italy, September 16-17, 2010. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6561},
  pages        = {50--64},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-19751-2\_4},
  doi          = {10.1007/978-3-642-19751-2\_4},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip1-7/KamilL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip1-7/KamilL09,
  author       = {Allaa Kamil and
                  Gavin Lowe},
  editor       = {Pierpaolo Degano and
                  Joshua D. Guttman},
  title        = {Specifying and Modelling Secure Channels in Strand Spaces},
  booktitle    = {Formal Aspects in Security and Trust, 6th International Workshop,
                  {FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5983},
  pages        = {233--247},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-12459-4\_17},
  doi          = {10.1007/978-3-642-12459-4\_17},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip1-7/KamilL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}