Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Douglas W. Bonin

dblp:45/1233 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
0since 2021 · last 1991
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 1Software engineering, systems software and programming languages · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
2 papers
Systems and software security · 100%
Software engineering, system software, and programming languages
1 paper
Operating systems · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Processor architecture and microarchitecture · 100%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security › operating system security
security kernel		 0.021991
A Retrospective on the VAX VMM Security Kernel · IEEE Trans. Software Eng. 1991
A VMM Security Kernel for the VAX Architecture · S&P 1990
Systems and software security › virtualization security
virtual machine monitor		 0.021991
A Retrospective on the VAX VMM Security Kernel · IEEE Trans. Software Eng. 1991
A VMM Security Kernel for the VAX Architecture · S&P 1990
Systems and software security
operating system security		 0.011990
A VMM Security Kernel for the VAX Architecture · S&P 1990
Operating systems
virtualization		 0.011991
A Retrospective on the VAX VMM Security Kernel · IEEE Trans. Software Eng. 1991
Processor architecture and microarchitecture
instruction set architecture		 0.011990
A VMM Security Kernel for the VAX Architecture · S&P 1990

Methods — techniques the papers use, named apart from their topics

formal verification · 0.0configuration management · 0.0
YearPublicationVenuePosition
1991 A Retrospective on the VAX VMM Security Kernel
abstract
The development of a virtual-machine monitor (VMM) security kernel for the VAX architecture is described. The focus is on how the system's hardware, microcode, and software are aimed at meeting A1-level security requirements while maintaining the standard interfaces and applications of the VMS and ULTRIX-32 operating systems. The VAX security kernel supports multiple concurrent virtual machines on a single VAX system, providing isolation and controlled sharing of sensitive data. Rigorous engineering standards were applied during development to comply with the assurance requirements for verification and configuration management. The VAX security kernel has been developed with a heavy emphasis on performance and system management tools. The kernel performs sufficiently well that much of its development was carried out in virtual machines running on the kernel itself, rather than in a conventional time-sharing system.>
Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin, Andrew H. Mason, Clifford E. Kahn
 IEEE Trans. Software Eng.3
1990 A VMM Security Kernel for the VAX Architecture
abstract
The development of a virtual-machine monitor (VMM) security kernel for the VAX architecture is described. Particular focus is on how the system's hardware, microcode, and software are aimed at meeting A1-level security requirements while maintaining the standard interfaces and applications of the VMS and ULTRIX-32 operating systems. The VAX security kernel supports multiple concurrent virtual machines on a single VAX system, providing isolation and controlled sharing of sensitive data. Rigorous engineering standards were applied during development to comply with the assurance requirements for verification and configuration management. The VAX security kernel was developed with a heavy emphasis on performance and on system management tools. The kernel performs sufficiently well that all of its development can be now carried out in virtual machines running on the kernel itself, rather than in a conventional time-sharing system.>
Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin, Andrew H. Mason, Clifford E. Kahn
 S&P3