BibTeX record conf/sec/Benzmuller09

• > Home > conf/sec/Benzmuller09

@inproceedings{DBLP:conf/sec/Benzmuller09,
  author       = {Christoph Benzm{\"{u}}ller},
  editor       = {Dimitris Gritzalis and
                  Javier L{\'{o}}pez},
  title        = {Automating Access Control Logics in Simple Type Theory with {LEO-II}},
  booktitle    = {Emerging Challenges for Security, Privacy and Trust, 24th {IFIP} {TC}
                  11 International Information Security Conference, {SEC} 2009, Pafos,
                  Cyprus, May 18-20, 2009. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {297},
  pages        = {387--398},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01244-0\_34},
  doi          = {10.1007/978-3-642-01244-0\_34},
  timestamp    = {Wed, 25 Sep 2019 18:08:09 +0200},
  biburl       = {https://dblp.org/rec/conf/sec/Benzmuller09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}