Security Kernel Design and Implementation: An Introduction

No abstract is available for this paper.

• Publication year

  1983

• Venue

  Computer

• Publication date

  1983-07-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/MC.1983.1654439
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Best Available Technologies for Computer Security

  1983cited by this paper
• A Security Kernel for a Multiprocessor Microcomputer

  1983cited by this paper
• Scomp: A Solution to the Multilevel Security Problem

  1983cited by this paper
• Protection

  1983cited by this paper
• A Security Kernel for a Multiprocessor Microcomputer

  1983cited by this paper
• Verifying Security

  1981cited by this paper
• Specification and verification of the UCLA Unix security kernel

  1979cited by this paper
• The Cambridge CAP computer and its protection system

  1977cited by this paper
• Structured specification of a Security Kernel

  1975cited by this paper
• A hardware architecture for implementing protection rings

  1972cited by this paper

• SoK: Software Compartmentalization

  2024cites this paper
• Real-Time Policy Enforcement with Metric First-Order Temporal Logic

  2022influential citation
• Secure System Virtualization: End-to-End Verification of Memory Isolation

  2020cites this paper
• Keystone: an open framework for architecting trusted execution environments

  2020cites this paper
• D2.1 5G Security: Current Status and Future Trends

  2020cites this paper
• USBCaptchaIn: Preventing (un)conventional attacks from promiscuously used USB devices in industrial control systems

  2018cites this paper
• SeCloak: ARM Trustzone-based Mobile Peripheral Control

  2018cites this paper
• DesignThreats Goals System Adversaries Possible attacks Consequences Stakeholders Environment

  2017cites this paper
• Strong-DISM: A First Attempt to a Dynamically Typed Assembly Language (D-TAL)

  2017cites this paper
• OPTZ: a Hardware Isolation Architecture of Multi-Tasks Based on TrustZone Support

  2017cites this paper
• The Trouble with Security Requirements

  2017cites this paper
• High-Assurance Separation Kernels: A Survey on Formal Methods

  2017cites this paper
• Cyber defense triad for where security matters

  2016cites this paper
• Formal Specification and Verification of Separation Kernels: An Overview

  2015cites this paper
• Trusted Execution Environment: What It is, and What It is Not

  2015cites this paper
• A survey on formal specification and verification of separation kernels

  2015cites this paper
• State-based Safety of Component-based Medical and Surgical Robot Systems

  2015cites this paper
• Designing for Attack Surfaces: Keep Your Friends Close, but Your Enemies Closer

  2015cites this paper
• Operating Systems Security

  2015cites this paper
• Computer network applications, practical implementations and structural control system representations

  2014cites this paper
• Cross-fertilization between safety and security engineering

  2013cites this paper
• Level Control in Electronic Supply Chain

  2013cites this paper
• Point-and-shoot security design: can we build better tools for developers?

  2012cites this paper
• Semantic view re-creation for the secure monitoring of virtual machines

  2012cites this paper
• External Labeling as a Framework for Access Control

  2012cites this paper
• An Architecture for Internet-Based Distributed Evolutionary Computation

  2012cites this paper
• CloudFence: Enabling Users to Audit the Use of their Cloud-Resident Data

  2012cites this paper
• Reference Monitor

  2011cites this paper
• ASPF : A Policy Administration Framework for Self-Protection of Large-Scale Systems

  2011cites this paper
• MIvmm : A micro VMM for development of a trusted code base

  2011cites this paper
• Determining the Integrity of Applications and Operating Systems using Remote and Local Attesters

  2011cites this paper
• Robust and secure monitoring and attribution of malicious behaviors

  2011cites this paper
• ASPF: A Policy Administration Framework for Self-Protection of Large-Scale Systems

  2010cites this paper
• IP services design and implementation in a prototype device for transient tactical access to sensitive information

  2010cites this paper
• Least Privilege Separation Kernel storage hierarchy prototype for the trusted computing exemplar project

  2010cites this paper
• E-Learning Distributed Cloud Built on MVC Design Patterns for Service Task Management

  2010cites this paper
• Scalable security architecture for trusted software

  2010cites this paper
• Architectures et mécanismes de sécurité pour l'auto-protection des systèmes pervasifs. (Security Architecture and Mechanisms for Self-protection of Pervasive Systems)

  2010cites this paper
• Inter-partition Information Flow Control for High-Assurance Embedded Systems

  2009cites this paper
• HUMAN-COMPUTER INTERACTION VIEWED FROM THE INTERSECTION OF PRIVACY, SECURITY, AND TRUST

  2009cites this paper
• Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels

  2009cites this paper
• Operating System Security

  2008cites this paper
• 5. FUNDING NUMBERS

  2008cites this paper
• A Trusted Architecture for ESCS with MLS

  2008cites this paper
• Coprocessor-based hierarchical trust management for software integrity and digital identity protection

  2008cites this paper
• Home gateway operating model using reference monitor for enhanced user comfort and privacy

  2008cites this paper
• A Reference Monitor Model for Improving User Comfort and Privacy of Home Gateway in OSGi Service Platform

  2008cites this paper
• Computer Security: A Historical Perspective†

  2008cites this paper
• Privacy ofHomeGateway inOSGiService Platform

  2008cites this paper
• Information Access Level Control in Electronic Supply Chain

  2008cites this paper
• Analysis of three multilevel security architectures

  2007cites this paper
• Kernel and Application Integrity Assurance: Ensuring Freedom from Rootkits and Malware in a Computer System

  2007cites this paper
• An analysis of three kernel-based multilevel security architectures

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

  2005cites this paper
• Technology and web user data privacy - a survey of risks and countermeasures

  2005cites this paper
• A Survey of Some Implementation Techniques for Security Membranes ?

  2005cites this paper
• TRINETR: an intrusion detection alert management systems

  2004cites this paper
• Trinetr: an intrusion detection alert management and analysis system

  2004cites this paper
• A multi-layered approach to security in high assurance systems

  2004cites this paper
• Intrusion Tolerance based on Architectural Hybridization

  2003cites this paper
• An exfiltration subversion demonstration

  2003cites this paper
• Enhancing access control with SysGuard, a reference monitor supporting portable and composable kernel module

  2002cites this paper
• The Design of a COTSReal-Time Distributed Security Kernel

  2002cites this paper
• Remus: a security-enhanced operating system

  2002cites this paper
• An approach to usable security based on event monitoring and visualization

  2002cites this paper
• The Design of a COTS Real-Time Distributed Security Kernel (Extended Version)

  2001cites this paper
• Information security: science, pseudoscience, and flying pigs

  2001cites this paper
• Components + security = OS extensibility

  2001cites this paper
• S-TRAIS : A Method for Security Requirements Engineering Using a Standards-Based Network Security Reference Model

  2001cites this paper
• Distributed Systems for System Architects

  2001cites this paper
• Operating system enhancements to prevent the misuse of system calls

  2000cites this paper
• Design, implementation and performance of protection in the mungi single address space operating system

  1999cites this paper
• A new approach to mobile code security

  1999cites this paper
• Developing Secure Computer Systems

  1999cites this paper
• Protected resource access for mobile agent-based distributed computing

  1998cites this paper
• Java security: Web browsers and beyond

  1997cites this paper
• Control in Extensible Systems

  1997cites this paper
• Teaching Introductory Computer Security at a Department of Defense University.

  1997cites this paper
• Java security: from HotJava to Netscape and beyond

  1996cites this paper
• Access Control Systems: From Host-Centric to Network-Centric Computing

  1996cites this paper
• Software safety in medical applications.

  1995cites this paper
• On the enforcement of software safety policies

  1995cites this paper
• Integrating security in CORBA based object architectures

  1995cites this paper
• Safety kernal enforcement of software safety policies

  1995influential citation
• Refereed paper: On the validity of the Bell-La Padula model

  1994cites this paper
• A Safety Kernel Architecture

  1994cites this paper
• A Proposed Mechanism for Implementation of Non-Discretionary Access Controls in a Network Environment

  1994cites this paper
• Conndence Domains for Distributed Systems

  1994cites this paper
• Security design in distributed computing applications

  1993cites this paper
• A survey of security issues in office computation and the application of secure computing models to office systems

  1993cites this paper
• A graduate course in computing security technology

  1993cites this paper
• A Structured Approach to Computer Security

  1992cites this paper
• FDP Techniques in Object-oriented Systems

  1991cites this paper
• Combining Verified and Adaptive System Components Towards More Secure Computer Architectures

  1990cites this paper
• An architecture for practical delegation in a distributed system

  1990cites this paper
• The Digital Distributed System Security Architecture

  1989cites this paper
• TERMINOLOGY, CRITERIA AND SYSTEM ARCHITECTURES FOR DATA INTEGRITY

  1989cites this paper
• Policy vs. mechanism in the Secure TUNIS operating system

  1989cites this paper
• A model for multilevel security in computer networks

  1988cites this paper
• Building a Secure Computer System

  1988cites this paper