Stateful Authorization Logic: - Proof Theory and a Case Study - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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. [doi]

The following publications are possibly variants of this publication:

Stateful authorization logic - Proof theory and a case studyDeepak Garg, Frank Pfenning. jcs, 20(4):353-391, 2012. [doi]

runs on WebDSL