@InProceedings{GA08,
    Author       = "Garg, D. and Abadi, M.",
    Year         = "2008",
    Title        = "{A Modal Deconstruction of Access Control Logics}",
    Editor       = "Amadio, R.",
    BookTitle    = "{Proceedings of the 11th International Conference on the
                    Foundations of Software Science and Computational
                    Structures}",
    Place        = "Budapest, Hungary",
    Series       = "Lecture Notes in Computer Science",
    Number       = "4962",
    Pages        = "216-230",
    Comment      = "TPTPRef"
}