[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

ShapiroHardy02

  1. Jonathon S Shapiro & Norm Hardy
  2. EROS: A Principle-Driven Operating System from the ground Up
  3. IEEE Software Magazine V19n1(Jan/Feb 2002)pp26-33
  4. =EXPERIENCE QUALITY SECURITY TRUST KeyKOS TECHNICAL REQUIREMENTS ARCHITECTURE capabilities modules components
  5. Goal: To know how and why the system worked. able to trace every piece of code to a principle or constraint.
  6. clean design gave high-performance.
  7. One security mechanism has been formally verified.
  8. Principles act as requirements and had at least on inconsistency.
  9. EROS::= See http://www.eros-os.org.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]