A Language-Based Approach to Security (2000) [58 citations — 0 self]
Download:
http://www.eecs.harvard.edu/cs253/papers/Schneider
http://www.cs.cornell.edu/fbs/publications/LangBas
http://www.cs.cmu.edu/afs/cs/user/rwh/public/www/h
http://www-2.cs.cmu.edu/~rwh/papers/langsec/dagstu
http://www.aladdin.cs.cmu.edu/papers/pdfs/y2001/ap
DBLP
CACHED:
|
http://www.eecs.harvard.edu/cs253/papers/Schneider
http://www.cs.cornell.edu/fbs/publications/LangBas
http://www.cs.cmu.edu/afs/cs/user/rwh/public/www/h
http://www-2.cs.cmu.edu/~rwh/papers/langsec/dagstu
http://www.aladdin.cs.cmu.edu/papers/pdfs/y2001/ap
DBLP
CACHED:
|
by
Fred B. Schneider
,
Greg Morrisett
,
Robert Harper
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@MISC{Schneider00alanguage-based,
author = {Fred B. Schneider and Greg Morrisett and Robert Harper},
title = {A Language-Based Approach to Security},
year = {2000}
}
author = {Fred B. Schneider and Greg Morrisett and Robert Harper},
title = {A Language-Based Approach to Security},
year = {2000}
}
Bookmarks
OpenURL
Abstract:
Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises effi- cient 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.
