[1] |
樊晓光, 褚文奎, 张凤鸣 . 软件安全性研究综述[J]. 计算机科学, 2011,38(5): 8-13. FAN X G , CHU W K , ZHANG F M . Surveys of software safety[J]. Computer Science, 2011,38(5): 8-13.
|
[2] |
SWIFT M M , BERSHAD B N , LEVY H M . Improving the reliability of commodity operating systems[J]. ACM Trans on Computer Systems, 2005,23(1): 77-110.
|
[3] |
JAEGER T , SAILER R , SHANKAR U . Prima:policy-reduced integrity measurement architecture[A]. Proc of the 11th ACM Symposium on Access Control Models and Technologies[C]. Lake Tahoe,USA, 2006. 19-28.
|
[4] |
The statistics portal. Cyber crime incidents worldwide 2014,by victim industry and size[EB/OL]. .
|
[5] |
The statistics portal. Cyber crime:average company loss in selected countries 2014[EB/OL]. .
|
[6] |
FEILER P H . Challenges in validating safety-critical embedded systems[J]. SAE International Journal of Aerospace, 2010,(1): 109-116.
|
[7] |
SAE ARP4754A.Guidelines for Development of Civil Aircraft and Systems,Society of Automotive Engineers (SAE)[S]. 2009.
|
[8] |
万明, 樊晓光, 南建国 . 航电软件开发标准与过程研究[J]. 计算机工程与应用, 2010,46(19): 71-73. WAN M , FAN X G , NAN J G . Research on standard and process of avionics software development[J]. Computer Engineering and Applications, 2010,46(19): 71-73.
|
[9] |
SAE ARP 4761 Standard,Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment,Society of Automotive Engineers (SAE)[S]. 1996.
|
[10] |
尹树悦, 杨云 . 军机研制中安全性标准的应用[J] 航空标准化与质量, 2010, 237. YI S Y , YANG Y . Applicaiton of safety standard in military plan[J] Aeronautic Standardization & Quality, 2010, 237.
|
[11] |
GORDON M , UCHENICK W , MARK V . Multiple independent levels of safety and security:high assurance architecture for MSLS/MLS[A]. Military Communication Conference[C]. 2005.
|
[12] |
JIM A F , W.SCOTT H , PAUL O , et al. The MILS architecture for high-assurance embedded systems[J]. International Journal of Embedded Systems, 2005,37(2).
|
[13] |
张倩颖, 冯登国, 赵世军 . 基于可信芯片的平台身份证明方案研究[J]. 通信学报, 2014,35(8): 95-106. ZHANG Q Y , FENG D G . Research of platform identity attestation based on trusted chip[J]. Journal on Communications, 2014,35(8): 95-106.
|
[14] |
马赞, 王鹏, 肖女娥 . SAE ARP4754A 中研制保证等级分配方法的应用研究[J]. 航空维修与工程, 2013,2(2): 68-70. MA Z , WANG P , XIAO N E . Application and study of development assurance level in civil aircraft development[J]. Aviation Maintenance& Engineering, 2013,2(2): 68-70.
|