首页> 中国专利> 一种安全攸关系统的软件安全性保证的实现方法

一种安全攸关系统的软件安全性保证的实现方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

一种安全攸关系统的软件安全性保证的实现方法，(1)定义系统的软件安全设计要求，包括软件需求阶段安全性设计要求、软件设计阶段安全性设计要求、软件编码阶段安全性设计要求、软件测试阶段安全性设计要求；(2)根据软件安全性等级，对(1)中的安全性设计要求进行裁剪，并按各项要求实施软件需求、软件设计、软件编码、软件测试的安全性设计；(3)获取软件安全证据，判断安全证据是否满足(2)中各项安全性设计要求；(4)获取系统的软件安全性风险规避措施；(5)验证软件安全性风险规避措施是否可追踪到软件需求、软件设计、软件编码、软件测试。本发明提升了软件安全性保障能力，填补了航天重大工程软件安全性保证的技术空白。

著录项

公开/公告号CN103955427B

专利类型发明专利
公开/公告日2016-08-24

原文格式PDF
申请/专利权人探月与航天工程中心;北京信息控制研究所;
展开▼

申请/专利号CN201410178300.9
发明设计人赵文波;庞涪川;张伟;经小川;詹海潭;高金梁;张玮;海卫华;
展开▼

申请日2014-04-29
分类号
代理机构中国航天科技专利中心;
代理人安丽
地址 100037 北京市西城区车公庄大街12号核建大厦10层
入库时间 2022-08-23 09:45:21

法律信息

法律状态公告日

法律状态信息

法律状态
2016-08-24

授权

授权
2014-08-27

实质审查的生效 IPC(主分类):G06F 11/36 申请日:20140429

实质审查的生效
2014-07-30

公开

公开

相似文献

专利
中文文献
外文文献

1. 一种安全攸关系统的软件安全性保证的实现方法 [P] . 中国专利： CN103955427B . 2016.08.24
2. 一种国产操作系统平台下的软件安全性的实现方法 [P] . 中国专利： CN108446552A . 2018-08-24
3. SYSTEM AND METHOD FOR VERIFYING AND GUARANTEEING SAFETY OF SOFTWARE [P] . 日本专利： JP2001195247A . 2001-07-19

机译：验证和保证软件安全性的系统和方法
4. ON-LINE DISPLAY METHOD CAPABLE OF CONFIRMING INFORMATION ON DISTRIBUTION CHANNEL OF FOOD, DRINK, MEDICINE AND COSMETICS GUARANTEED FOR QUALITY AND AUTHORIZED FOR SAFETY BY ORGANIZATION FOR GUARANTEEING QUALITY AND AUTHORIZING SAFETY OR FEED, FERTILIZER AND RAW MATERIAL REQUIRED FOR PRODUCING FOOD, DRINK, MEDICINE AND COSMETICS IN RESPECTIVE STAGES OF RESPECTIVE DISTRIBUTION CHANNELS AND ON-LINE PROVIDING METHOD [P] . 日本专利： JP2003187035A . 2003-07-04

机译：一种在线显示方法，该方法能够确认通过组织质量保证和授权安全，经授权的食品，饲料，原料和原料，原料和原料经过授权的质量，安全性得到保证的食品，饮料，药品和化妆品的分配渠道信息分配通道的各个阶段的特征和化妆品以及在线提供方法
5. METHOD FOR INCREASING SECURITY OF SOFTWARE [P] . 韩国专利： KR20140097927A . 2014-08-07

机译：一种提高软件安全性的方法