English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Journal Article

Stateful Authorization Logic - Proof Theory and a Case Study

MPS-Authors
/persons/resource/persons144522

Garg,  Deepak
Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;

External Ressource
No external resources are shared
Fulltext (public)
There are no public fulltexts stored in PuRe
Supplementary Material (public)
There is no public supplementary material available
Citation

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.


Cite as: http://hdl.handle.net/11858/00-001M-0000-0028-5A54-0
Abstract
There is no abstract available