William A. Arbaugh, David J. Farber, Jonathan M. Smith  Home/Search
Context Related
Links: ACM | upenn.edu/~switchware/papers...aegis.ps upenn.edu/~waa/aegis.ps upenn.edu/pub/waa/public_htm...aegis.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: upenn.edu/~switchware/home (more) From: upenn.edu/~waa/thesis (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In a computer system, the integrity of lower layers is treated as axiomatic by higher layers. Under the presumption that the hardware comprising the machine (the lowest layer) is valid, integrity of a layer can be guaranteed if and only if: (1) the integrity of the lower layers is checked, and (2) transitions to higher layers occur only after integrity checks on them are complete. The resulting integrity "chain" inductively guarantees system integrity. When these conditions are not met, as they ... (Update)
Cited by: More
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
USENIX Association - Th Usenix Security (1992) (Correct)
Remote Revocation of Smart Cards in a Private DRM System - Frikken, Atallah, Bykova (2005) (Correct)
Similar documents (at the sentence level): More
54.2%: A Secure and Reliable Bootstrap Architecture - William Arbaugh David (1997) (Correct)
32.5%: Automated Recovery in a Secure Bootstrap Process - Arbaugh, Keromytis, Farber.. (1998) (Correct)
25.1%: A Secure Active Network Environment Architecture - Alexander (1998) (Correct)
Active bibliography (related documents): More All
0.3: Signed Executables for Linux - van Doorn, Ballintijn, Arbaugh (2001) (Correct)
0.3: An Overview of Computer Viruses in a Research Environment - Bishop (1992) (Correct)
0.2: A Secure Network Server - Ajay Chitturi Chitturi (Correct)
Similar documents based on text: More All
0.5: AEGIS: Architecture for Tamper-Evident and.. - Suh, Clarke.. (2003) (Correct)
0.2: Pro-active Key Distribution using Neighbor Graphs - Arunesh Mishra Min-Ho (Correct)
0.1: Toward Secure Key Distribution in Truly Ad-Hoc Networks - Aram Khalili Jonathan (2003) (Correct)
Related documents from co-citation: More All
17: Automated Recovery in a Secure Bootstrap Process - Arbaugh, Keromytis et al. - 1998
13: A secure active network environment architecture: Realization in SwitchWare - Alexander, Arbaugh et al. - 1998
11: IEEE Transactions on Information Theory (context) - Diffie, Hellman et al. - 1976
BibTeX entry: (Update)
William A. Arbaugh, David J. Farber, and Jonathan M. Smith. A Secure and Reliable Bootstrap Architecture. In Proceedings 1997 IEEE Symposium on Security and Privacy, pages 65--71, May 1997. http://citeseer.ist.psu.edu/article/arbaugh97secure.html More
@misc{ arbaugh97secure,
author = "W. Arbaugh and D. Farber and J. Smith",
title = "A Secure and Reliable Bootstrap Architecture",
text = "William A. Arbaugh, David J. Farber, and Jonathan M. Smith. A Secure and
Reliable Bootstrap Architecture. In Proceedings 1997 IEEE Symposium on Security
and Privacy, pages 65--71, May 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/article/arbaugh97secure.html" }
Citations (may not include all citations):305 Decentralized Trust Management - Blaze, Feigenbaum et al. - 1996 ACM
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992 DBLP
192 Designing programs that check their work - Blum, Kannan - 1995 ACM DBLP
124 Internet security association and key management protocol - Maughan, Schertler et al. - 1996
57 Using Secure Coprocessors - Yee - 1994
52 Checking for race conditions in file accesses - Bishop, Dilger - 1996 DBLP
38 The operating system kernel as a secure programmable machine - Engler, Kaashoek et al. - 1994 ACM DBLP
25 Dyad: A system for using physically secure coprocessors - Tygar, Yee - 1991
14 Access mediation in a messagepassing kernel (context) - Branstad, Tajalli et al. - 1989
10 BITS: A Smartcard Protected Operating System (context) - Clark - 1994 ACM DBLP
10 Defending systems against viruses through cryptographic auth.. (context) - Davida, Matt - 1989 ACM DBLP
9 A model for the containment of computer viruses (context) - Pozzo, Gray - 1989
9 Engineering a security kernel for multics (context) - Schroeder - 1975
7 Microsoft 's Developer Network Library (context) - techonology - 1996
7 Department of Defense (context) - computer, criteria et al. - 1985
6 System BIOS for IBM PCs (context) - Technologies - 1991
6 At386 protected mode bootstrap loader (context) - Grimes - 1993
6 The Birlix security architecture (context) - artig, Kowalski et al. - 1993
5 Verisign certification practice statement (context) - Verisign - 1996
4 Implementation of ipv (context) - Atkinson, McDonald et al. - 1996
2 Knowledge Base Article Q (context) - of, hpfs et al. - 1996
2 RSA Data Security Engineering Report (context) - Security, Bsafe - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~switchware/home.html): More
A Secure Active Network Environment Architecture - .. - Alexander.. (1998) (Correct)
A Secure PLAN - Hicks, Keromytis (1999) (Correct)
Chunks in PLAN: Language Support for Programs as Packets - Moore, Hicks, Nettles (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC