Loading...
Please wait, while we are loading the content...
Similar Documents
Stack inspection: theory and variants (2002).
| Content Provider | CiteSeerX |
|---|---|
| Author | Fournet, Cédric Gordon, Andrew D. |
| Abstract | Stack inspection is a security mechanism implemented in runtimes such as the JVM and the CLR to accommodate components with diverse levels of trust. Although stack inspection enables the fine-grained expression of access control policies, it has rather a complex and subtle semantics. We present a formal semantics and an equational theory to explain how stack inspection a#ects program behaviour and code optimisations. We discuss the security properties enforced by stack inspection, and also consider variants with stronger, simpler properties. |
| File Format | |
| Publisher Date | 2002-01-01 |
| Access Restriction | Open |
| Subject Keyword | Stack Inspection Diverse Level Access Control Policy Simpler Property Program Behaviour Fine-grained Expression Subtle Semantics Security Mechanism Code Optimisation Security Property Formal Semantics Equational Theory |
| Content Type | Text |