@InProceedings{Gar08, Author = "Garg, D.", Year = "2008", Title = "{Principal-Centric Reasoning in Constructive Authorization Logic}", Editor = "", BookTitle = "{Proceedings of the LICS 2008 Workshop on Intuitionistic Modal Logics and Applications}", Place = "Pittsburg, USA", Pages = "", Comment = "TPTPRef" }