On the public citation graph

A retrospective on the VAX VMM security kernel

0 signed · 145 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1016/0142-0496(86)90071-8openalex-snapshot

Building a secure computer system

inferredcites →https://doi.org/10.1017/s0013091500002790openalex-snapshot

Paul R. Halmos, Naive Set Theory (Van Nostrand, Princeton, 1960), 26s. 6d.

inferredcites →https://doi.org/10.1109/mark.1979.8817181openalex-snapshot

A security retrofit of VM/370

inferredcites →https://doi.org/10.1109/mark.1979.8817195openalex-snapshot

KSOS—Development methodology for a secure operating system

inferredcites →https://doi.org/10.1109/mc.1983.1654440openalex-snapshot

Scomp: A Solution to the Multilevel Security Problem

inferredcites →https://doi.org/10.1109/risp.1990.63856openalex-snapshot

The auditing facility for a VMM security kernel

inferredcites →https://doi.org/10.1109/risp.1991.130767openalex-snapshot

An analysis of covert timing channels

inferredcites →https://doi.org/10.1109/risp.1991.130768openalex-snapshot

Reducing timing channels with fuzzy time

inferredcites →https://doi.org/10.1109/risp.1991.130771openalex-snapshot

Storage channels in disk arm optimization

inferredcites →https://doi.org/10.1109/sp.1981.10015openalex-snapshot

The Structure of a Security Kernel for the Z8000 Multiprocessor

inferredcites →https://doi.org/10.1109/sp.1982.10007openalex-snapshot

A Practical Approach to Identifying Storage and Timing Channels

inferredcites →https://doi.org/10.1109/sp.1984.10002openalex-snapshot

KVM/370 in Retrospect

inferredcites →https://doi.org/10.1145/1067629.806527openalex-snapshot

The PDP-11 virtual machine architecture

inferredcites →https://doi.org/10.1145/1067629.806537openalex-snapshot

A comment on the confinement problem

inferredcites →https://doi.org/10.1145/115952.115990openalex-snapshot

Virtualizing the VAX architecture

inferredcites →https://doi.org/10.1145/115953.115990openalex-snapshot

Virtualizing the VAX architecture

inferredcites →https://doi.org/10.1145/359060.359076openalex-snapshot

Synchronization with eventcounts and sequencers

inferredcites →https://doi.org/10.1145/360051.360056openalex-snapshot

A lattice model of secure information flow

inferredcites →https://doi.org/10.1145/360303.360333openalex-snapshot

Protection in operating systems

inferredcites →https://doi.org/10.1145/361011.361073openalex-snapshot

Formal requirements for virtualizable third generation architectures

inferredcites →https://doi.org/10.1145/362375.362389openalex-snapshot

A note on the confinement problem

inferredcites →https://doi.org/10.1145/363095.363143openalex-snapshot

The structure of the “THE”-multiprogramming system

inferredcites →https://doi.org/10.1145/800122.803961openalex-snapshot

Application and analysis of the virtual machine approach to information system security and isolation

inferredcites →https://doi.org/10.1145/800179.1124633openalex-snapshot

Program confinement in KVM/370

inferredcites →https://doi.org/10.1145/850716.850718openalex-snapshot

Using type-extension to organize virtual-memory mechanisms

inferredcites →https://doi.org/10.21236/ada030801openalex-snapshot

Design for Multics Security Enhancements

inferredcites →https://doi.org/10.21236/ada253989openalex-snapshot

Integrity-Oriented Control Objectives: Proposed Revisions to the Trusted Computer System Evaluation Criteria (TCSEC), DOD 5200.28-STD

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/0471028959.sof296openalex-snapshot

Security Kernel

inferred← citeshttps://doi.org/10.1007/0-387-21551-4_2openalex-snapshot

The Security Architecture

inferred← citeshttps://doi.org/10.1007/0-387-21551-4_4openalex-snapshot

Verification Techniques

inferred← citeshttps://doi.org/10.1007/0-387-21551-4_5openalex-snapshot

Verification of the cryptlib Kernel

inferred← citeshttps://doi.org/10.1007/0-387-21551-4_7openalex-snapshot

Hardware Encryption Modules

inferred← citeshttps://doi.org/10.1007/11925071_18openalex-snapshot

Enforcing Performance Isolation Across Virtual Machines in Xen

inferred← citeshttps://doi.org/10.1007/978-1-4419-5906-5_646openalex-snapshot

Reference Monitor

inferred← citeshttps://doi.org/10.1007/978-1-4419-5906-5_797openalex-snapshot

Security Implication in Virtualization

inferred← citeshttps://doi.org/10.1007/978-3-030-71522-9_646openalex-snapshot

Reference Monitor

inferred← citeshttps://doi.org/10.1007/978-3-030-71522-9_797openalex-snapshot

Security Implication in Virtualization

inferred← citeshttps://doi.org/10.1007/978-3-319-24126-5_4openalex-snapshot

Designing for Attack Surfaces: Keep Your Friends Close, but Your Enemies Closer

inferred← citeshttps://doi.org/10.1007/978-3-319-72359-4_40openalex-snapshot

Enforcing Security in Artificially Intelligent Robots Using Monitors (Short Paper)

inferred← citeshttps://doi.org/10.1007/978-3-322-88782-5_5openalex-snapshot

Regelbasierte Zugriffskontrolle in einem Client-Control-Server-Modell

inferred← citeshttps://doi.org/10.1007/978-3-540-27800-9_8openalex-snapshot

NGSCB: A Trusted Open System

inferred← citeshttps://doi.org/10.1007/978-3-540-68979-9_1openalex-snapshot

Practical Techniques for Operating System Attestation

inferred← citeshttps://doi.org/10.1007/978-3-540-73547-2_21openalex-snapshot

An Approach to a Trustworthy System Architecture Using Virtualization

inferred← citeshttps://doi.org/10.1007/978-3-540-76788-6_11openalex-snapshot

Asynchronous Pseudo Physical Memory Snapshot and Forensics on Paravirtualized VMM Using Split Kernel Module

inferred← citeshttps://doi.org/10.1007/978-3-540-77535-5_11openalex-snapshot

An Architecture Providing Virtualization-Based Protection Mechanisms Against Insider Attacks

inferred← citeshttps://doi.org/10.1007/978-3-642-00587-9_4openalex-snapshot

Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels

inferred← citeshttps://doi.org/10.1007/978-3-642-01244-0_13openalex-snapshot

On the Impossibility of Detecting Virtual Machine Monitors

inferred← citeshttps://doi.org/10.1007/978-3-642-14577-3_7openalex-snapshot

Implementing a High-Assurance Smart-Card OS

inferred← citeshttps://doi.org/10.1007/978-3-642-39634-2_23openalex-snapshot

Practical Probability: Applying pGCL to Lattice Scheduling

inferred← citeshttps://doi.org/10.1007/978-3-642-54420-0_78openalex-snapshot

A Formally Verified Static Hypervisor with Hardware Support for a Many-Core Chip

inferred← citeshttps://doi.org/10.1007/978-3-662-45921-8_34openalex-snapshot

Security Limitations of Virtualization and How to Overcome Them

inferred← citeshttps://doi.org/10.1007/s004460050043openalex-snapshot

A logical approach to multilevel security of probabilistic systems

inferred← citeshttps://doi.org/10.1109/85.601735openalex-snapshot

Mathematics, technology, and trust: formal verification, computer security, and the U.S. military

inferred← citeshttps://doi.org/10.1109/acsac.2001.991537openalex-snapshot

Information security: science, pseudoscience, and flying pigs

inferred← citeshttps://doi.org/10.1109/acsac.2006.47openalex-snapshot

Shamon: A System for Distributed Mandatory Access Control

inferred← citeshttps://doi.org/10.1109/acsac.2007.10openalex-snapshot

Secure and Flexible Monitoring of Virtual Machines

inferred← citeshttps://doi.org/10.1109/acsac.2007.43openalex-snapshot

Retrofitting the IBM POWER Hypervisor to Support Mandatory Access Control

inferred← citeshttps://doi.org/10.1109/acsac.2009.31openalex-snapshot

TrustGraph: Trusted Graphics Subsystem for High Assurance Systems

inferred← citeshttps://doi.org/10.1109/aptc.2008.18openalex-snapshot

Is Your Virtual Machine Monitor Secure?

inferred← citeshttps://doi.org/10.1109/csac.1992.228223openalex-snapshot

Access control and applications on trusted systems

inferred← citeshttps://doi.org/10.1109/csac.2002.1176285openalex-snapshot

Thirty years later: lessons from the Multics security evaluation

inferred← citeshttps://doi.org/10.1109/csac.2005.13openalex-snapshot

Building a MAC-Based Security Architecture for the Xen Open-Source Hypervisor

inferred← citeshttps://doi.org/10.1109/csac.2005.41openalex-snapshot

Multi-Level Security Requirements for Hypervisors

inferred← citeshttps://doi.org/10.1109/csie.2009.656openalex-snapshot

Inter-partition Information Flow Control for High-Assurance Embedded Systems

inferred← citeshttps://doi.org/10.1109/cw.2008.110openalex-snapshot

SeVMM: VMM-Based Security Control Model

inferred← citeshttps://doi.org/10.1109/dasc.2009.154openalex-snapshot

A Dynamic Protection System of Web Server in Virtual Cluster Using Live Migration

inferred← citeshttps://doi.org/10.1109/eurosp.2018.00025openalex-snapshot

Probabilistic Obfuscation Through Covert Channels

inferred← citeshttps://doi.org/10.1109/hpca.2008.4658645openalex-snapshot

Serializing instructions in system-intensive workloads: Amdahl’s Law strikes again

inferred← citeshttps://doi.org/10.1109/iaw.2004.1437805openalex-snapshot

The trusted computing exemplar project

inferred← citeshttps://doi.org/10.1109/icycs.2008.341openalex-snapshot

An Enhancement of Trusted Domain Enforcement using VMM Interruption Mechanism

inferred← citeshttps://doi.org/10.1109/isa.2008.27openalex-snapshot

Incident-Driven Memory Snapshot for Full-Virtualized OS Using Interruptive Debugging Techniques

inferred← citeshttps://doi.org/10.1109/iwia.2004.1288043openalex-snapshot

Increased information flow needs for high-assurance composite evaluations

inferred← citeshttps://doi.org/10.1109/mc.2005.169openalex-snapshot

Rethinking the design of virtual machine monitors

inferred← citeshttps://doi.org/10.1109/mm.2010.17openalex-snapshot

Gate-Level Information-Flow Tracking for Secure Architectures

inferred← citeshttps://doi.org/10.1109/msp.2008.119openalex-snapshot

I/O for Virtual Machine Monitors: Security and Performance Issues

inferred← citeshttps://doi.org/10.1109/msp.2008.135openalex-snapshot

Virtualization and Hardware-Based Security

inferred← citeshttps://doi.org/10.1109/msp.2010.169openalex-snapshot

Lessons Learned: Building the Caernarvon High-Assurance Operating System

inferred← citeshttps://doi.org/10.1109/msp.2012.87openalex-snapshot

Lessons from VAX/SVS for High Assurance VM Systems

inferred← citeshttps://doi.org/10.1109/msp.2015.119openalex-snapshot

Lesson Learned: Security is Inevitable

inferred← citeshttps://doi.org/10.1109/risp.1993.287640openalex-snapshot

On introducing noise into the bus-contention channel

inferred← citeshttps://doi.org/10.1109/risp.1993.287641openalex-snapshot

Modelling a fuzzy time system

inferred← citeshttps://doi.org/10.1109/secpri.2003.1199341openalex-snapshot

Vulnerabilities in synchronous IPC designs

inferred← citeshttps://doi.org/10.1109/sp.2007.21openalex-snapshot

Fuzzy Multi-Level Security: An Experiment on Quantified Risk-Adaptive Access Control

inferred← citeshttps://doi.org/10.1109/sp.2009.21openalex-snapshot

CLAMP: Practical Prevention of Large-Scale Data Leaks

inferred← citeshttps://doi.org/10.1109/sp.2010.32openalex-snapshot

Bootstrapping Trust in Commodity Computers

inferred← citeshttps://doi.org/10.1109/sp.2011.38openalex-snapshot

Memoir: Practical State Continuity for Protected Modules

inferred← citeshttps://doi.org/10.1109/sp.2012.24openalex-snapshot

User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems

inferred← citeshttps://doi.org/10.1109/sp.2014.27openalex-snapshot

Dancing with Giants: Wimpy Kernels for On-Demand Isolated I/O

inferred← citeshttps://doi.org/10.1109/tcad.2014.2331332openalex-snapshot

Leveraging Gate-Level Properties to Identify Hardware Timing Channels

inferred← citeshttps://doi.org/10.1109/tifs.2012.2189105openalex-snapshot

On the Complexity of Generating Gate Level Information Flow Tracking Logic

inferred← citeshttps://doi.org/10.1109/wkdd.2008.135openalex-snapshot

VNIDA: Building an IDS Architecture Using VMM-Based Non-Intrusive Approach

inferred← citeshttps://doi.org/10.1145/1082983.1083209openalex-snapshot

A software flaw taxonomy

inferred← citeshttps://doi.org/10.1145/1165389.945464openalex-snapshot

Terra

inferred← citeshttps://doi.org/10.1145/1181309.1181311openalex-snapshot

Manitou

inferred← citeshttps://doi.org/10.1145/1229285.1229336openalex-snapshot

History-based access control for XML documents

inferred← citeshttps://doi.org/10.1145/1250662.1250711openalex-snapshot

Performance and security lessons learned from virtualizing the alpha processor

inferred← citeshttps://doi.org/10.1145/1273440.1250711openalex-snapshot

Performance and security lessons learned from virtualizing the alpha processor

inferred← citeshttps://doi.org/10.1145/1278901.1278905openalex-snapshot

A layered approach to simplified access control in virtualized systems

inferred← citeshttps://doi.org/10.1145/1346256.1346269openalex-snapshot

VMM-based hidden process detection and identification using Lycosid

inferred← citeshttps://doi.org/10.1145/1413140.1413168openalex-snapshot

Active semantically aware hard real-time security hypervisors

inferred← citeshttps://doi.org/10.1145/1456508.1456515openalex-snapshot

Flexible security configuration for virtual machines

inferred← citeshttps://doi.org/10.1145/1460877.1460904openalex-snapshot

Hiding "real" machine from attackers and malware with a minimal virtual machine monitor

inferred← citeshttps://doi.org/10.1145/1533057.1533059openalex-snapshot

Securing virtual machine monitors

inferred← citeshttps://doi.org/10.1145/1542476.1542484openalex-snapshot

Laminar

inferred← citeshttps://doi.org/10.1145/1543135.1542484openalex-snapshot

Laminar

inferred← citeshttps://doi.org/10.1145/1669112.1669174openalex-snapshot

Execution leases

inferred← citeshttps://doi.org/10.1145/1866307.1866332openalex-snapshot

Retaining sandbox containment despite bugs in privileged memory-safe code

inferred← citeshttps://doi.org/10.1145/2024724.2024782openalex-snapshot

Information flow isolation in I2C and USB

inferred← citeshttps://doi.org/10.1145/2184319.2184339openalex-snapshot

Trust extension for commodity computers

inferred← citeshttps://doi.org/10.1145/2611399openalex-snapshot

Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers

inferred← citeshttps://doi.org/10.1145/2611399.2611400openalex-snapshot

Preface

inferred← citeshttps://doi.org/10.1145/2611399.2611401openalex-snapshot

Introduction

inferred← citeshttps://doi.org/10.1145/2611399.2611402openalex-snapshot

Background and Related Work in Trust Establishment

inferred← citeshttps://doi.org/10.1145/2611399.2611403openalex-snapshot

Bootstrapping Trust in a Commodity Computer

inferred← citeshttps://doi.org/10.1145/2611399.2611404openalex-snapshot

On-Demand Secure Code Execution on Commodity Computers

inferred← citeshttps://doi.org/10.1145/2611399.2611405openalex-snapshot

Using Trustworthy Host-Based Information in the Network

inferred← citeshttps://doi.org/10.1145/2611399.2611406openalex-snapshot

Verifiable Computing: Secure Code Execution Despite Untrusted Software and Hardware

inferred← citeshttps://doi.org/10.1145/2611399.2611407openalex-snapshot

Conclusion

inferred← citeshttps://doi.org/10.1145/2611399.2611408openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1145/2638548openalex-snapshot

Practical Fine-Grained Information Flow Control Using Laminar

inferred← citeshttps://doi.org/10.1145/3171533.3171543openalex-snapshot

Panel

inferred← citeshttps://doi.org/10.1145/319151.319162openalex-snapshot

Cellular Disco

inferred← citeshttps://doi.org/10.1145/319344.319162openalex-snapshot

Cellular Disco

inferred← citeshttps://doi.org/10.1145/354871.354873openalex-snapshot

Cellular disco

inferred← citeshttps://doi.org/10.1145/3625275.3625401openalex-snapshot

Atmosphere: Towards Practical Verified Kernels in Rust

inferred← citeshttps://doi.org/10.1145/3719027.3765121openalex-snapshot

IOValve: Leakage-Free I/O Sandbox for Large-Scale Untrusted Data Processing

inferred← citeshttps://doi.org/10.1145/844128.844147openalex-snapshot

Scale and performance in the Denali isolation kernel

inferred← citeshttps://doi.org/10.1145/844128.844148openalex-snapshot

ReVirt

inferred← citeshttps://doi.org/10.1145/945445.945464openalex-snapshot

Terra

inferred← citeshttps://doi.org/10.1147/jrd.2009.5429060openalex-snapshot

Security for the cloud infrastructure: Trusted virtual data center implementation

inferred← citeshttps://doi.org/10.1184/r1/6720932openalex-snapshot

On-demand Isolated I/O for Security-sensitive Applications on Commodity Platforms

inferred← citeshttps://doi.org/10.18130/v38c3qopenalex-snapshot

Safety Kernel Enforcement of Software Safety Policies

inferred← citeshttps://doi.org/10.21236/ada423654openalex-snapshot

Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor

inferred← citeshttps://doi.org/10.21236/ada440047openalex-snapshot

Asbestos: Securing Untrusted Software with Interposition

inferred← citeshttps://doi.org/10.21236/ada465040openalex-snapshot

A Logical Approach to Multilevel Security of Probabilistic Systems

inferred← citeshttps://doi.org/10.2172/1236181openalex-snapshot

ASCR Cybersecurity for Scientific Computing Integrity - Research Pathways and Ideas Workshop

inferred← citeshttps://doi.org/10.2200/s00126ed1v01y200808spt001openalex-snapshot

Operating System Security

inferred← citeshttps://doi.org/10.25148/etd.fi14051137openalex-snapshot

Engineering access control for distributed enterprise applications

inferred← citeshttps://doi.org/10.26190/unsworks/14779openalex-snapshot

Device driver reuse via virtual machines

inferred← citeshttps://doi.org/10.26190/unsworks/16942openalex-snapshot

Leakage in Trustworthy Systems

inferred← citeshttps://doi.org/10.3233/jcs-1993-2403openalex-snapshot

Modelling a Fuzzy Time System

inferred← citeshttps://doi.org/10.3390/info7020023openalex-snapshot

Using Proven Reference Monitor Patterns for Security Evaluation

inferred← citeshttps://doi.org/10.4018/ijdwm.2016010104openalex-snapshot

Recent Developments on Security and Reliability in Large-Scale Data Processing with MapReduce

inferred← citeshttps://doi.org/10.5555/1855711.1855731openalex-snapshot

Airavat: security and privacy for MapReduce

inferred← citeshttps://doi.org/10.5555/2685048.2685062openalex-snapshot

Ironclad apps: end-to-end security via automated full-system verification

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.