Author:
Belt Jason,Hatcliff John,Robby ,Shackleton John,Carciofini Jim,Carpenter Todd,Mercer Eric,Amundson Isaac,Babar Junaid,Cofer Darren,Hardin David,Hoech Karl,Slind Konrad,Kuz Ihor,Mcleod Kent
Funder
U.S. Army
U.S. Department of Homeland Security
US Army Combat Capabilities Development Command
Defense Advanced Research Projects Agency
U.S. Department of Defense
Air Force Research Laboratory
Subject
Hardware and Architecture,Software
Reference38 articles.
1. Separation Kernel Protection Profile;National Information Assurance Partnership,2011
2. J. Rushby, The Design and Verification of Secure Systems, in: 8th ACM Symposium on Operating Systems Principles, vol. 15 no. 5, 1981, pp. 12–21.
3. A formal approach to constructing secure air vehicle software;Cofer;Comput. Org,2018
4. Model-Based Engineering with AADL: An Introduction To the SAE Architecture Analysis & Design Language;Feiler,2013
5. Embedded Systems: Analysis and Modeling with SysML, UML and AADL;Kordon,2013
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献