BibTeX record conf/secrypt/AiashL15

download as .bib file

@inproceedings{DBLP:conf/secrypt/AiashL15,
  author       = {Mahdi Aiash and
                  Jonathan Loo},
  editor       = {Mohammad S. Obaidat and
                  Pascal Lorenz and
                  Pierangela Samarati},
  title        = {A Formally Verified Access Control Mechanism for Information Centric
                  Networks},
  booktitle    = {{SECRYPT} 2015 - Proceedings of the 12th International Conference
                  on Security and Cryptography, Colmar, Alsace, France, 20-22 July,
                  2015},
  pages        = {377--383},
  publisher    = {SciTePress},
  year         = {2015},
  url          = {https://doi.org/10.5220/0005566303770383},
  doi          = {10.5220/0005566303770383},
  timestamp    = {Mon, 05 Feb 2024 20:34:04 +0100},
  biburl       = {https://dblp.org/rec/conf/secrypt/AiashL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}