scholarly journals Expressiveness of a Provenance-Enabled Authorization Logic

2010 ◽  
Vol 2 (2) ◽  
pp. 23-30
Author(s):  
Jinwei Hu
Keyword(s):  
Authorization Logic

Stateful Authorization Logic:

2011 ◽  
pp. 210-225 ◽  
Author(s):  
Deepak Garg ◽  
Frank Pfenning
Keyword(s):  
Authorization Logic

An Authorization Logic With Explicit Time

2008 ◽  
Author(s):  
Henry DeYoung ◽  
Deepak Garg ◽  
Frank Pfenning
Keyword(s):  
Authorization Logic

DCapBAC: embedding authorization logic into smart things through ECC optimizations

2014 ◽  
Vol 93 (2) ◽  
pp. 345-366 ◽  
Author(s):  
José L. Hernández-Ramos ◽  
Antonio J. Jara ◽  
Leandro Marín ◽  
Antonio F. Skarmeta Gómez
Keyword(s):  
Smart Things ◽  
Authorization Logic

Stateful authorization logic – Proof theory and a case study

2012 ◽  
Vol 20 (4) ◽  
pp. 353-391 ◽  
Author(s):  
Deepak Garg ◽  
Frank Pfenning
Keyword(s):  
Proof Theory ◽  
Authorization Logic

scholarly journals A nonmonotonic modal authorization logic for pervasive computing

2014 ◽  
Vol 8 (6) ◽  
pp. 1077-1091
Author(s):  
Ali Noorollahi ◽  
Mehran S. Fallah
Keyword(s):  
Pervasive Computing ◽  
Authorization Logic

ALOPA: Authorization Logic for Property Attestation in Trusted Platforms

2009 ◽  
pp. 134-148
Author(s):  
Aarthi Nagarajan ◽  
Vijay Varadharajan ◽  
Michael Hitchens
Keyword(s):  
Authorization Logic

Proof Search in an Authorization Logic

2009 ◽  
Author(s):  
Deepak Garg
Keyword(s):  
Proof Search ◽  
Authorization Logic

An Authorization Logic with Explicit Time

2008 ◽  
Author(s):  
Henry DeYoung ◽  
Deepak Garg ◽  
Frank Pfenning
Keyword(s):  
Authorization Logic
Sign in / Sign up

Export Citation Format

Share Document