Stack Inspection: Theory and Variants (2001)
Cached
Download Links
| Venue: | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS |
| Citations: | 83 - 4 self |
BibTeX
@INPROCEEDINGS{Fournet01stackinspection:,
author = {Cédric Fournet and Andrew D. Gordon},
title = {Stack Inspection: Theory and Variants},
booktitle = {ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS},
year = {2001},
pages = {307--318},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 finegrained 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.
