A survey on formal specification and verification of separation kernels-Reference-Cited by-同舟云学术

A survey on formal specification and verification of separation kernels

Published:2017-01-11 Issue:4 Volume:11 Page:585-607
ISSN:2095-2228
Container-title:Frontiers of Computer Science
language:en
Short-container-title:Front. Comput. Sci.

Author:

Zhao Yongwang,Yang Zhibin,Ma Dianfu

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science

Link

http://link.springer.com/article/10.1007/s11704-016-4226-2/fulltext.html

Reference98 articles.

1. Rushby J. Design and verification of secure systems. ACM SIGOPS Operating Systems Review, 1981, 15(5): 12–21

2. Alves-Foss J, Oman P W, Taylor C, Harrison W S. The MILS architecture for high-assurance embedded systems. International journal of embedded systems, 2006, 2(3-4): 239–247

3. Denning D E. A lattice model of secure information flow. Communications of the ACM, 1976, 19(5): 236–243

4. Gjertsen T, Nordbotten N A. Multiple independent levels of security (MILS) — a high assurance architecture for handling information of different classification levels. Technical Report. 2008

5. ARINC Airlines Electronic Engineering Committee. ARINC 653–avionics application software standard interface. 2003

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

1. Minimal Partitioning Kernel with Time Protection and Predictability;2024 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW);2024-07-08

2. Application of Computer Network Security Technology in Software Development;Cyber Security Intelligence and Analytics;2023

3. Embedded Systems Design Space Exploration Under Security Constraints;International Journal of Technology Diffusion;2022-05-23

4. Virtualizing mixed-criticality systems: A survey on industrial trends and issues;Future Generation Computer Systems;2022-04

5. Timing covert channel analysis of the VxWorks MILS embedded hypervisor under the common criteria security certification;Computers & Security;2021-07