ProtectOS: Operating system and hardware support for small objects
| Autor: | John W. Holford, George M. Mohay |
|---|---|
| Rok vydání: | 1997 |
| Předmět: |
Hardware architecture
Object-oriented programming Correctness business.industry Computer science Semantics (computer science) media_common.quotation_subject computer.software_genre Object-oriented design Memory leak Software Debugging Operating system business computer Computer hardware media_common |
| Zdroj: | Information Security and Privacy ISBN: 9783540632320 ACISP |
| DOI: | 10.1007/bfb0027918 |
| Popis: | The goal of the Computer Architecture for Secure Systems (CASS) project (Mohay et al., 1993) is to develop an architecture and tools to ensure the security and integrity of software in distributed systems. As part of that work -we have been investigating the use of the Intel 80286'' segmentation hardware to enhance the security and integrity of small objects. Object oriented design and programming are considered by their proponents to facilitate the development of quality software. None the less the static semantics of an OOP language cannot, of its own nor even when combined with systematic and comprehensive testing, guarantee the correctness of a program. In this paper, we outline a novel way of combining object oriented programming with the under-exploited hardware level security mechanisms provided by the Intel [email protected]'' processor family to provide additional integrity for such programs and to assist with program debugging. The hardware protection mechanisms which are intended to provide process isolation are used at a lower level of granularity to isolate the objects that exist within a process. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|