@inproceedings{garg06linauthlogic,
    author = {Deepak Garg and Lujo Bauer and Kevin D. Bowers and Frank Pfenning and Michael K. Reiter},
    title = {A Linear Logic of Authorization and Knowledge},
    booktitle = {Computer Security - ESORICS 2006: 11th European Symposium on Research in Computer Security},
    editor = {Dieter Gollmann and Jan Meier and Andrei Sabelfeld},
    month = {Sep},
    year = {2006},
    series = {Lecture Notes in Computer Science},
    volume = {4189},
    pages = {297--312},
    publisher = {Springer},
    isbn = {978-3-540-44601-9},
    location = {Hamburg, Germany},
    url = {http://dx.doi.org/10.1007/11863908_19},
}