Stateful Authorization Logic - Proof Theory and a Case Study

Garg, Deepak; Pfennig, Frank

doi:10.3233/JCS-2012-0456

Local TagsRelease HistoryDetailsSummary

Stateful Authorization Logic - Proof Theory and a Case Study

Garg, D., & Pfennig, F. (2012). Stateful Authorization Logic - Proof Theory and a Case Study. Journal of Computer Security, 20(4), 353-391. doi:10.3233/JCS-2012-0456.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-5A54-0 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-5A55-E

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Garg, Deepak¹, Author
Pfennig, Frank², Author

Affiliations:
1Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105289
2External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2012Date issued: 2012

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 629488
DOI: 10.3233/JCS-2012-0456

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Journal of Computer Security

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: Amsterdam : IOS Press

Pages: - Volume / Issue: 20 (4) Sequence Number: - Start / End Page: 353 - 391 Identifier: ISSN: 0926-227X
ISSN: 1875-8924