authorization logic
Recently Published Documents

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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

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

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

Nexus authorization logic (NAL)

ACM Transactions on Information and System Security ◽

10.1145/1952982.1952990 ◽

2011 ◽

Vol 14 (1) ◽

pp. 1-28 ◽

Cited By ~ 24

Author(s):

Fred B. Schneider ◽

Kevin Walsh ◽

Emin Gün Sirer

Keyword(s):

Authorization Logic

Download Full-text

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

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

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

Principal-Centric Reasoning in Constructive Authorization Logic

10.21236/ada506999 ◽

2009 ◽

Cited By ~ 4

Author(s):

Deepak Garg

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

authorization logicRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

A nonmonotonic modal authorization logic for pervasive computing

DCapBAC: embedding authorization logic into smart things through ECC optimizations

Belief semantics of authorization logic

Stateful authorization logic – Proof theory and a case study

Nexus authorization logic (NAL)

Stateful Authorization Logic:

Expressiveness of a Provenance-Enabled Authorization Logic

Proof Search in an Authorization Logic

Principal-Centric Reasoning in Constructive Authorization Logic

ALOPA: Authorization Logic for Property Attestation in Trusted Platforms

authorization logic
Recently Published Documents