Automating Access Control Logic in Simple Type Theory with LEO-II (bibtex)
by Christoph Benzmüller
Reference:
Automating Access Control Logic in Simple Type Theory with LEO-II (Christoph Benzmüller), In Emerging Challenges for Security, Privacy and Trust, 24th IFIP TC 11 International Information Security Conference, SEC 2009, Pafos, Cyprus, May 18-20, 2009. Proceedings (Dimitris Gritzalis, Javier López, eds.), Springer, IFIP, volume 297, pp. 387-398, 2009. (slides) (Preprint: http://christoph-benzmueller.de/papers/C27.pdf)
Bibtex Entry:
@inproceedings{C27,
  Author =	 {Christoph Benzm{\"u}ller},
  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},
  Comment =	 {<a href="http://christoph-benzmueller.de//papers/2009-SEC.pdf">slides</a>},
  Doi =		 {10.1007/978-3-642-01244-0_34},
  Editor =	 {Dimitris Gritzalis and Javier L{\'o}pez},
  Isbn =	 {978-3-642-01243-3},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Automated
                  Reasoning, Henkin Semantics, Security Logics},
  Pages =	 {387-398},
  Publisher =	 {Springer},
  Series =	 {IFIP},
  Title =	 {Automating Access Control Logic in Simple Type
                  Theory with {LEO-II}},
  Note =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/C27.pdf}},
  Volume =	 297,
  Year =	 2009,
}