Access meditation in a message passing kernel

No abstract is available for this paper.

• Publication year

  1989

• Venue

  Proceedings. 1989 IEEE Symposium on Security and Privacy

• Publication date

  1989-05-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/SECPRI.1989.36278
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• An interpretation of a refined Bell-La Padula model for the TMach kernel

  1988cited by this paper
• Capability-Based Computer Systems

  1984cited by this paper
• Secure Computer System: Unified Exposition and Multics Interpretation

  1976cited by this paper
• On protection in operating systems

  1975cited by this paper

• ATM ISDN FDDI Ethernet Overlays Standard Subnets

  2016cites this paper
• Reference Monitor

  2011cites this paper
• Operating System Security

  2008cites this paper
• Labels and event processes in the Asbestos operating system

  2007cites this paper
• Asbestos: Securing Untrusted Software with Interposition

  2005cites this paper
• Labels and event processes in the asbestos operating system

  2005cites this paper
• A novel approach to kernel construction of China bridge CA

  2005cites this paper
• Design of the SPEEDOS operating system kernel

  2005cites this paper
• Rule-based Policy Specification : State of the Art and Future Work

  2004cites this paper
• Flexible support for multiple access control policies

  2001cites this paper
• Hardening COTS software with generic software wrappers

  1999cites this paper
• Implementation of Multiple Access Control Policies within a CORBASEC framework

  1999cites this paper
• Chaining layered integrity checks

  1999cites this paper
• A secure active network environment architecture: realization in SwitchWare

  1998cites this paper
• Applying the composition principle to verify a hierarchy of security servers

  1998influential citation
• Administration Policies in a Multipolicy Autorization System

  1997cites this paper
• A secure and reliable bootstrap architecture

  1997cites this paper
• A logical language for expressing authorizations

  1997cites this paper
• An Architectural Overview Of The Alpha Real-Time Distributed Kernel

  1997cites this paper
• A Secure Active Network Environment Architecture

  1997cites this paper
• Security, Payment, and Privacy for Network Commerce (Invited Paper)

  1995cites this paper
• Security , Payment , and Privacy for Network Commerce

  1995cites this paper
• Topic : Practical Information Flow Control With Flume Advisor : Prof

  1995cites this paper
• Practical Domain and Type Enforcement for UNIX

  1995cites this paper
• A Domain and Type Enforcement UNIX Prototype

  1995cites this paper
• A practical approach to high assurance multilevel secure computing service

  1994cites this paper
• An Architectural Overview of the Alpha Real-time Distributed Kernel

  1993cites this paper
• Assuring Distributed Trusted Mach

  1993cites this paper
• Trustable Computing in Next-Generation

  1992cites this paper
• An optimal solution to the secure reader-writer problem

  1992cites this paper
• Trustable computing in next-generation avionic architectures

  1992cites this paper
• Integrity in Automated Information Systems

  1991cites this paper
• A Benefit Accrual Model For Distributed Real-Time Computers

  1991cites this paper
• Providing a flexible security override for trusted systems

  1990cites this paper
• A formal protection model of security in centralized, parallel, and distributed systems

  1990cites this paper
• Cryptography Based Data Security

  1990cites this paper
• Architectural support of fine-grained secure computing

  1989cites this paper