Principal-Centric Reasoning in Constructive Authorization Logic

Stateful Authorization Logic:

Security and Trust Management - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22444-7_14 ◽

2011 ◽

pp. 210-225 ◽

Cited By ~ 1

Author(s):

Deepak Garg ◽

Frank Pfenning

Keyword(s):

Authorization Logic

Download Full-text

Belief semantics of authorization logic

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 ◽

10.1145/2508859.2516667 ◽

2013 ◽

Cited By ~ 3

Author(s):

Andrew K. Hirsch ◽

Michael R. Clarkson

Keyword(s):

Authorization Logic

Download Full-text

An Authorization Logic With Explicit Time

2008 21st IEEE Computer Security Foundations Symposium ◽

10.1109/csf.2008.15 ◽

2008 ◽

Cited By ~ 12

Author(s):

Henry DeYoung ◽

Deepak Garg ◽

Frank Pfenning

Keyword(s):

Authorization Logic

Download Full-text

DCapBAC: embedding authorization logic into smart things through ECC optimizations

International Journal of Computer Mathematics ◽

10.1080/00207160.2014.915316 ◽

2014 ◽

Vol 93 (2) ◽

pp. 345-366 ◽

Cited By ~ 56

Author(s):

José L. Hernández-Ramos ◽

Antonio J. Jara ◽

Leandro Marín ◽

Antonio F. Skarmeta Gómez

Keyword(s):

Smart Things ◽

Authorization Logic

Download Full-text

Stateful authorization logic – Proof theory and a case study

Journal of Computer Security ◽

10.3233/jcs-2012-0456 ◽

2012 ◽

Vol 20 (4) ◽

pp. 353-391 ◽

Cited By ~ 4

Author(s):

Deepak Garg ◽

Frank Pfenning

Keyword(s):

Proof Theory ◽

Authorization Logic

Download Full-text

A nonmonotonic modal authorization logic for pervasive computing

Security and Communication Networks ◽

10.1002/sec.1063 ◽

2014 ◽

Vol 8 (6) ◽

pp. 1077-1091

Author(s):

Ali Noorollahi ◽

Mehran S. Fallah

Keyword(s):

Pervasive Computing ◽

Authorization Logic

Download Full-text

Non-Interference in Constructive Authorization Logic

19th IEEE Computer Security Foundations Workshop (CSFW'06) ◽

10.1109/csfw.2006.18 ◽

2006 ◽

Cited By ~ 30

Author(s):

D. Garg ◽

F. Pfenn

Keyword(s):

Authorization Logic

Download Full-text

ALOPA: Authorization Logic for Property Attestation in Trusted Platforms

Lecture Notes in Computer Science - Autonomic and Trusted Computing ◽

10.1007/978-3-642-02704-8_11 ◽

2009 ◽

pp. 134-148

Author(s):

Aarthi Nagarajan ◽

Vijay Varadharajan ◽

Michael Hitchens

Keyword(s):

Authorization Logic

Download Full-text

Proof Search in an Authorization Logic

10.21236/ada507017 ◽

2009 ◽

Cited By ~ 6

Author(s):

Deepak Garg

Keyword(s):

Proof Search ◽

Authorization Logic

Download Full-text

Expressiveness of a Provenance-Enabled Authorization Logic

International Journal of Managing Information Technology ◽

10.5121/ijmit.2010.2203 ◽

2010 ◽

Vol 2 (2) ◽

pp. 23-30

Author(s):

Jinwei Hu

Keyword(s):

Authorization Logic

Download Full-text