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

Paul H. Palmquist

dblp:319/6792 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 1990
—ORCID · none

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

Security and privacy · 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.

Software engineering, system software, and programming languages
1 paper
Operating systems · 61% Program verification · 39%

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

TopicWeightPapersLastEvidence papers
Program verification › system verification
kernel verification		 0.011990
Specification and Verification of the ASOS Kernel · S&P 1990
Operating systems › system security
multilevel security		 0.011990
Specification and Verification of the ASOS Kernel · S&P 1990
Operating systems › system security › operating system security
secure operating system		 0.011990
Specification and Verification of the ASOS Kernel · S&P 1990

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

proof · 0.0formal specification · 0.0
YearPublicationVenuePosition
1990 Specification and Verification of the ASOS Kernel
abstract
The Army Secure Operating System (ASOS) program is providing a family of operating systems for tactical data system applications in Ada. Two members of the ASOS family have been developed: a dedicated secure operating system intended for the TCSEC (the DoD Trusted Computer System Evaluation Criteria) C2 level, and a multilevel secure operating system intended for the TCSEC A1 level. An overview is presented of the A1 system concept and TRW's solution to the ASOS kernel verification problem. A description is given of the model, the formal top-level specification :(FTLS), and proof approaches as well as some practical techniques for coping with proof complexity. Summary statistics on the actual proofs have been compiled and included in the discussion of the verification results.>
Ben L. Di Vito, Paul H. Palmquist, E. R. Anderson 0001, Michael L. Johnston
 S&P2