Survey of software assurance

被引：0

作者：

Fang, Bin-Xing ^{[1
]}

Lu, Tian-Bo ^{[2
]}

Li, Chao ^{[1
,3
]}

机构：

[1] Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100019, China

[2] National Computer Network Emergency Response Technical Team/Coordination Center of China, Beijing 100029, China

[3] Graduate University, Chinese Academy of Sciences, Beijing 100049, China

来源：

Tongxin Xuebao/Journal on Communication | 2009年 / 30卷 / 02期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：106 / 117

共 50 条

[21] Software assurance for security
McGraw, G
COMPUTER, 1999, 32 (04) : 103 - 105
[22] Measuring Software Assurance
Ellison, Robert
Nichols, William
Woody, Carol
PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSAC), VOL 2, 2016, : 359 - 364
[23] Software and hardware assurance: DoD establishes federation of software and hardware assurance providers
Hurt, Tom
Shanahan, Ray
CrossTalk, 2015, 28 (05): : 11 - 13
[24] Smart Software Analysis for Software Quality Assurance
Li, Li
PROCEEDINGS OF THE ACM TURING AWARD CELEBRATION CONFERENCE-CHINA 2024, ACM-TURC 2024, 2024, : 222 - 223
[25] Software Assurance Using Structured Assurance Case Models
Rhodes, Thomas
Boland, Frederick
Fong, Elizabeth
Kass, Michael
JOURNAL OF RESEARCH OF THE NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY, 2010, 115 (03) : 209 - 216
[26] Galios: High assurance software
Launchbury, J
ACM SIGPLAN NOTICES, 2004, 39 (09) : 3 - 3
[27] Software assurance, trustworthiness, and rigor
O'Neill, Don
CrossTalk, 2014, 27 (05): : 25 - 29
[28] SOFTWARE PRODUCT QUALITY ASSURANCE
RYAN, JR
AFIPS CONFERENCE PROCEEDINGS, 1982, 51 : 393 - &
[29] Software assurance during maintenance
Black, Paul E.
ICSM 2006: 22nd IEEE International Conference on Software Maintenance, Proceedings, 2006, : 70 - 71
[30] SOFTWARE QUALITY ASSURANCE IN HEP
DAROCHA, ARC
PALERMO, S
COMPUTER PHYSICS COMMUNICATIONS, 1989, 57 (1-3) : 524 - 527