Design and Verification Of Secure Systems

Design and Verification Of Secure Systems (1981)

Cached

Download Links

[www.csl.sri.com]
[www.csl.sri.com]

Other Repositories/Bibliography

DBLP

by John Rushby

Citations:

104 - 13 self

BibTeX

@MISC{Rushby81designand,
    author = {John Rushby},
    title = {Design and Verification Of Secure Systems},
    year = {1981}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

This paper reviews some of the difficulties that arise in the verification of kernelized secure systems and suggests new techniques for their resolution. It is

Citations

515	Secure computer system: unified exposition and MULTICS interpretation - Bell, LaPadula - 1976
377	Proof of correctness of Data representations - Hoare - 1972
348	Certification of programs for secure information flow - Denning, Denning - 1977
339	A note on the confinement problem - Lampson
49	Specification and verification of the UCLA Unix security kernel - Walker, Kemmerer, et al. - 1980
41	A provably secure operating system: The system, its applications, and proofs - Neumann, Boyer, et al. - 1980
39	KSOS - The Design of a Secure Operating System - McCauley, Drongowski - 1979
35	A comment on the confinement problem - Lipner - 1975
32	Proving Multilevel Security of a System Design - Feiertag, Levitt, et al. - 1977
28	Security kernel validation in practice - Millen - 1976
19	Secure computer systems: Uni exposition and Multics interpretation - Bell, LaPadula - 1976
14	A Model for Verification of Data Security in Operating Systems - Popek, Farber - 1978
13	Proof of Separability–a verification technique for a class of security kernels - Rushby - 1982
8	Applications for multilevel secure operating systems - Woodward - 1979
8	A Note on the Con Problem - Lampson - 1973
5	A principle of kernel design - Popek
5	Certi�cation of programs for secure information �ow - Denning, Denning - 1977
4	Security kernels: A solution or a problem - Jr - 1981
3	Assertions for verification of multilevel secure military message systems - LANDWEHR - 1980
3	Operating system security verification - Millen - 1979
3	KSOS\|computer network applications - Padlipsky, Biba, et al. - 1979
3	A veri protection system - Popek, Kline - 1975
3	Veri of secure systems - Rushby - 1981
2	Demonstrating security for trusted applications on a security kernel base - Keeton-Williams - 1980
2	Systems architecture for security and protection - Anderson - 1974
2	Secure personal computing (technical correspondence - Auerbach - 1980
2	Computer security in the RSRE PPSN - Barnes - 1980
2	Barksdale Jr. KSOS\|development methodology for a secure operating system - Berson, L - 1979
2	verification plan - KSOS - 1978
2	The SDC communications kernel - Golber - 1981
2	et al. A security retrofit of VM/370 - Gold - 1979
2	LSI guard system specification (type A - Hathaway - 1980
2	Intelligent X25 level 2 line units for packetswitching - Martin, Parks - 1980
2	et al. Software development and proofs of multi-level security - Neumann - 1976
2	et al. UCLA secure UNIX - Popek - 1979
2	Quoted by P. zave in report of a panel session from speci of reliable software conference - Robinson - 1979
1	veri plan - KSOS - 1978
1	et al. A security retro of VM/370 - Gold - 1979
1	LSI guard system speci (type A - Hathaway - 1980
1	Assertions for veri of multilevel secure military message systems - Landwehr - 1980
1	A comment on the con problem - Lipner - 1975
1	Operating system security veri - Millen - 1979
1	A model for veri of data security in operating systems - Popek, Farber - 1978
1	Proof of Separability\|a veri technique for a class of security kernels - Rushby - 1982
1	Speci and veri of the UCLA Unix security kernel - Walker, Kemmerer, et al. - 1980