loading...
 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," Computer Security Foundations Symposium, IEEE, 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 ={Computer Security Foundations Symposium, IEEE},
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 - Computer Security Foundations Symposium, IEEE
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 - Computer Security Foundations Symposium, IEEE
ER -
 
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.