Proof of separability A verification technique for a class of security kernels-Reference-Cited by-同舟云学术

Proof of separability A verification technique for a class of security kernels

Published:1982 Issue: Volume: Page:352-367
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Rushby J. M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-11494-7_23.pdf

Reference22 articles.

1. Ames, S.R. Jr., "Security Kernels: Are they the Answer to the Computer Security Problem?", Presented at the 1979 WESCON Professional Program, San Francisco, CA. (September 1979).

2. Anderson, J.P., "Computer Security Technology Planning Study", ESD-TR-73-51 (October 1972). (Two volumes).

3. Attanasio, C.R., P.W. Markstein, and R.J. Phillips, "Penetrating an Operating System: a Study of VM/370 Integrity", IBM Systems Journal Vol. 15(1), pp.102–116 (1976).

4. Barnes, D., "Computer Security in the RSRE PPSN", Networks 80, pp.605–620, Online Conferences (1980).

5. Berson, T.A. and G.L. Barksdale Jr., "KSOS — Development Methodology for a Secure Operating System", AFIPS Conference Proceedings Vol. 48, pp.365–371 (1979).

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Cerberus;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07

2. Verification of Quantitative Hyperproperties Using Trace Enumeration Relations;Computer Aided Verification;2020

3. Verification of a Generative Separation Kernel;Automated Technology for Verification and Analysis;2020

4. A cloud computing separation model based on information flow;Open Physics;2019-01-01

5. Lazy Self-composition for Security Verification;Computer Aided Verification;2018