A Secure and Reliable Bootstrap Architecture (1997)
Download:
http://msl1.mit.edu/ESD10/docs/aegis.pdf
ftp://ftp.cis.upenn.edu/pub/waa/public_html/aegis.
DBLP
CACHED:
http://msl1.mit.edu/ESD10/docs/aegis.pdf
ftp://ftp.cis.upenn.edu/pub/waa/public_html/aegis.
DBLP
CACHED:
by
William Arbaugh David
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@MISC{David97asecure,
author = {William Arbaugh David},
title = {A Secure and Reliable Bootstrap Architecture},
year = {1997}
}
author = {William Arbaugh David},
title = {A Secure and Reliable Bootstrap Architecture},
year = {1997}
}
Bookmarks
OpenURL
Abstract:
In a computer system, the integrityoflower layers is treated as axiomatic byhigherlayers. Under the presumption that the hardware comprising the machine #the lowest layer# is valid, integrityofalayer can be guaranteed if and only if:#1#theintegrityofthe lower layers is checked, and #2# transitions to higher layers occur only after integritychecks on them are complete. The resulting integrity"chain" inductively guarantees system integrity.
Citations
No citations identified.
