A language-based approach to security (2000) [60 citations — 0 self]
Download:
by Fred B. Schneider, Greg Morrisett, Robert Harper
Informatics: 10 Years Back, 10 Years Ahead
http://www.cs.cmu.edu/afs/cs/user/rwh/public/www/home/papers/langsec/dagstuhl.pdf
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@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
Abstract:
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. 1
