Bruce Chittenden

Learn More
The security kernel is a disciplined approach to the organization and isolation of security-related functions. To guarantee completeness of the security kernel and enhance the possibility of formal verification, the design is based upon a mathematical representation of a secure system. The mathematical model most often used as the basis for kernel design is(More)
In the more user-oriented interactive operating systems such as UNIX, a considerable amount of processing power is devoted to the handling of character-oriented devices such as terminals. It is desirable, therefore, to reduce this overhead as much as possible; yet, if this manipulation of characters were not done, the real virtues of this type of system(More)
  • 1