Key points are not available for this paper at this time.
एक कंप्यूटर प्रणाली में, निचले स्तरों की अखंडता को आमतौर पर उच्च स्तरों द्वारा स्वाभाविक माना जाता है। इस पूर्वधारणा के तहत कि मशीन को comprise करने वाला हार्डवेयर (सबसे निचला स्तर) मान्य है, एक स्तर की अखंडता केवल तभी सुनिश्चित की जा सकती है जब: (1) निचले स्तरों की अखंडता की जांच की जाती है और (2) उच्च स्तरों में संक्रमण केवल तब होता है जब उनकी अखंडता की जाँच पूरी हो चुकी हो। परिणामी अखंडता "श्रृंखला" अनुशासनात्मक रूप से प्रणाली की अखंडता की गारंटी देती है। जब ये शर्तें पूरी नहीं होती हैं, जैसे कि आमतौर पर कंप्यूटर प्रणाली के बूटस्ट्रैपिंग (शुरुआत) में होती हैं, कोई अखंडता की गारंटी नहीं दी जा सकती, फिर भी ये गारंटियाँ इंटरनेट वाणिज्य, सुरक्षा प्रणालियों और "सक्रिय नेटवर्क" जैसी विविध अनुप्रयोगों के लिए बढ़ती जा रही हैं। इस पेपर में, हम एक कंप्यूटर प्रणाली को प्रारंभ करने के लिए AEGIS आर्किटेक्चर का वर्णन करते हैं। यह बूटस्ट्रैप प्रक्रिया में प्रत्येक स्तर संक्रमण पर अखंडता को मान्य करता है। AEGIS में अखंडता जांच विफलताओं के लिए एक पुनर्प्राप्ति प्रक्रिया भी शामिल है, और हम दिखाते हैं कि इससे मजबूत प्रणालियाँ कैसे बनती हैं।
Arbaugh et al. (Fri,) studied this question.