scientific article; zbMATH DE number 3854401

MaRDI QIDQ3323253zbMATH OpenFDO

Authors Richard A. Kemmerer

Publication date 1982

zbMATH Keywords

abstract specificationdata representationoperating systemsproof techniquesUCLA security kernelverification

Mathematics Subject Classification ID

General logic (03B99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal refinement for operating systems kernels.
• Operating system verification---an overview

Cited in

(10)

• Operating system verification---an overview
• Creating high confidence in a separation kernel
• Automated proof of Bell-LaPadula security properties
• Formal models of operating system kernels
• Security testing for operating system and its system calls
• scientific article; zbMATH DE number 1277258 (Why is no real title available?)
• scientific article; zbMATH DE number 1751915 (Why is no real title available?)
• Noninterference for operating system kernels
• Theorem Proving in Higher Order Logics
• Formal refinement for operating systems kernels.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3323253)