Loading...
Please wait, while we are loading the content...
Similar Documents
Typed Language Support for Proof-Carrying Authorization (Lecture Notes) (2009)
| Content Provider | CiteSeerX |
|---|---|
| Author | Garg, Deepak |
| Abstract | Previous lectures in this class covered logic-based representation of access policies as well as their enforcement with proof-carrying authorization (PCA). The idea behind PCA is two-fold. First, access policies and credentials of principals are expressed as logical formulas, which are published in digitally signed certificates. Second, the reference monitor |
| File Format | |
| Publisher Date | 2009-01-01 |
| Access Restriction | Open |
| Subject Keyword | Logic-based Representation Previous Lecture Lecture Note Proof-carrying Authorization Typed Language Support Logical Formula Reference Monitor Access Policy |
| Content Type | Text |