Modeling and Security Analysis of a Commercial Real-Time Operating System Kernel
暂无分享,去创建一个
[1] David A. Greve,et al. Information Security Modeling and Analysis , 2010, Design and Verification of Microprocessor Systems for High-Assurance Applications.
[2] Matthew Wilding,et al. Formal Verification of Partition Management for the AAMP7G Microprocessor , 2010, Design and Verification of Microprocessor Systems for High-Assurance Applications.
[3] David S. Hardin. Design and Verification of Microprocessor Systems for High-Assurance Applications , 2010 .
[4] John M. Rushby,et al. Design and verification of secure systems , 1981, SOSP.
[5] Panagiotis Manolios,et al. Computer-Aided Reasoning: An Approach , 2011 .