Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Requirements and Technical Concepts for Aviation Washington, DC: DO-297: Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations (2005), Also issued as EUROCAE ED-124 (2007)
2. Lecture Notes in Computer Science;J. Rushby,2001
3. Rushby, J.: The design and verification of secure systems. In: Eighth ACM Symposium on Operating System Principles, Asilomar, CA, pp. 12???21 (1981);
4. Rushby, J.: The design and verification of secure systems. In: Eighth ACM Symposium on Operating System Principles, Asilomar, CA, pp. 12–21 (1981); ACM Operating Systems Review 15(5)
5. Boettcher, C., DeLong, R., Rushby, J., Sifre, W.: The MILS component integration approach to secure information sharing. In: 27th AIAA/IEEE Digital Avionics Systems Conference, St. Paul, MN. The Institute of Electrical and Electronics Engineers (2008)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems;Lecture Notes in Computer Science;2024
2. Categorical Semantics of Cyber-Physical Systems Theory;ACM Transactions on Cyber-Physical Systems;2021-07-31
3. SAFE and Secure;Proceedings of the 12th International Conference on Availability, Reliability and Security;2017-08-29
4. Antifragility: systems engineering at its best;Journal of Reliable Intelligent Environments;2015-11-17
5. Certifiably safe software-dependent systems: challenges and directions;Future of Software Engineering Proceedings;2014-05-31