A Language-Based Approach to Security (2000)
Cached
Download Links
by
Fred B. Schneider
,
Greg Morrisett
,
Robert Harper
| Venue: | INFORMATICS: 10 YEARS BACK, 10 YEARS AHEAD |
| Citations: | 79 - 0 self |
BibTeX
@INPROCEEDINGS{Schneider00alanguage-based,
author = {Fred B. Schneider and Greg Morrisett and Robert Harper},
title = {A Language-Based Approach to Security},
booktitle = {INFORMATICS: 10 YEARS BACK, 10 YEARS AHEAD},
year = {2000},
pages = {86--101},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access control policies and depends on a trusted computing base of only modest size. This paper surveys progress and prospects for the area, giving overviews of in-lined reference monitors, certifying compilers, and advances in type theory.
