Evidence-Based Security in Aerospace: From Safety to Security and Back Again
暂无分享,去创建一个
[1] K. Muller,et al. Mils-based information flow control in the avionic domain: A case study on compositional architecture and verification , 2012, 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).
[2] Andy German,et al. Static Code Analysis Identification of Safety-critical Software Why Use Static Code Analysis? Software Static Code Analysis Lessons Learned , 2022 .
[3] Yves Deswarte,et al. Potential Attacks on Onboard Aerospace Systems , 2012, IEEE Security & Privacy.
[4] Michael Paulitsch,et al. MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures , 2012, IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012).
[5] Hoyt Lougee,et al. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .
[6] Adele-Louise Carter. Safety-critical versus security-critical software , 2010 .
[7] John McLean,et al. Applying Formal Methods to a Certifiably Secure Software System , 2008, IEEE Transactions on Software Engineering.
[8] Nuno Silva,et al. Investigation on Safety-Related Standards for Critical Systems , 2011, 2011 First International Workshop on Software Certification.
[9] Robin E. Bloomfield,et al. Process modelling to support dependability arguments , 2002, Proceedings International Conference on Dependable Systems and Networks.