Deepak Garg, Frank Pfenning. Stateful Authorization Logic: - Proof Theory and a Case Study. In Jorge Cuéllar, Javier Lopez, Gilles Barthe, Alexander Pretschner, editors, Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers. Volume 6710 of Lecture Notes in Computer Science, pages 210-225, Springer, 2010.
Abstract is missing.