|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2008 21st IEEE Computer Security Foundations Symposium
An Authorization Logic With Explicit Time
June 23-June 25
ISBN: 978-0-7695-3182-3
| ASCII Text | x | ||
| Henry DeYoung, Deepak Garg, Frank Pfenning, "An Authorization Logic With Explicit Time," 2012 IEEE 25th Computer Security Foundations Symposium, pp. 133-145, 2008 21st IEEE Computer Security Foundations Symposium, 2008. | |||
| BibTex | x | ||
| @article{ 10.1109/CSF.2008.15, author = {Henry DeYoung and Deepak Garg and Frank Pfenning}, title = {An Authorization Logic With Explicit Time}, journal ={2012 IEEE 25th Computer Security Foundations Symposium}, volume = {0}, year = {2008}, isbn = {978-0-7695-3182-3}, pages = {133-145}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSF.2008.15}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE 25th Computer Security Foundations Symposium TI - An Authorization Logic With Explicit Time SN - 978-0-7695-3182-3 SP133 EP145 A1 - Henry DeYoung, A1 - Deepak Garg, A1 - Frank Pfenning, PY - 2008 KW - Authorization Logic KW - Hybrid Logic KW - Explicit Time VL - 0 JA - 2012 IEEE 25th Computer Security Foundations Symposium ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSF.2008.15
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination. We also demonstrate formal connections to proof-carrying authorization's existing approach for handling time and comment on the enforceability of our logic in the same framework. Finally, we illustrate the expressiveness of the logic through examples, including those with complex interactions between time, authorization, and mutable state.
Index Terms:
Authorization Logic, Hybrid Logic, Explicit Time
Citation:
Henry DeYoung, Deepak Garg, Frank Pfenning, "An Authorization Logic With Explicit Time," csf, pp.133-145, 2008 21st IEEE Computer Security Foundations Symposium, 2008
Usage of this product signifies your acceptance of the Terms of Use.