期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到82篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
软件安全性的智能检测与验证方式——评《软件安全保障体系架构》
1
作者 司文君 《安全与环境学报》 北大核心 2025年第7期2883-2883,共1页
在数字化进程加速与软件系统复杂度指数级增长的背景下,软件安全漏洞已成为威胁关键基础设施稳定运行的核心隐患。传统基于人工审计或静态规则匹配的检测手段,因难以应对代码规模膨胀、攻击面动态演化及未知威胁模式等挑战,逐渐暴露出... 在数字化进程加速与软件系统复杂度指数级增长的背景下,软件安全漏洞已成为威胁关键基础设施稳定运行的核心隐患。传统基于人工审计或静态规则匹配的检测手段,因难以应对代码规模膨胀、攻击面动态演化及未知威胁模式等挑战,逐渐暴露出覆盖率不足与响应滞后等缺陷。智能检测技术通过融合机器学习、形式化验证与模糊测试等方法,为构建自适应安全防御体系提供了新范式。《软件安全保障体系架构》系统构建了软件安全保障领域的理论框架与技术体系,全面覆盖了软件安全开发全生命周期的关键环节。 展开更多
关键词 安全漏洞 软件安全性 软件系统 智能检测
在线阅读 下载PDF
基于三个环境信号的引信电子安全系统安全性分析 被引量：8
2
作者 何光林 李杰 李世义 《兵工学报》 EI CAS CSCD 北大核心 2002年第2期171-175,共5页
解除保险逻辑的设计是保证电子安全系统高安全性的重要步骤。本文针对实际设计中引信电子安全系统可能采用的五种解除保险逻辑模式安全性进行了分析、比较和排序。指出电子安全系统的三个独立的电子开关采用加两个时间窗、且同时闭合的... 解除保险逻辑的设计是保证电子安全系统高安全性的重要步骤。本文针对实际设计中引信电子安全系统可能采用的五种解除保险逻辑模式安全性进行了分析、比较和排序。指出电子安全系统的三个独立的电子开关采用加两个时间窗、且同时闭合的控制模式是这五种之中安全性最高的。 展开更多
关键词 引信 电子安全系统 安全性 逻辑保险
在线阅读 下载PDF
机动式引信安全性X射线检测系统研究 被引量：3
3
作者 齐杏林 高敏 +3 位作者 刘秋生 高俊国 王军波 李彦学 《探测与控制学报》 CSCD 北大核心 2002年第4期10-13,共4页
讨论了机动化引信安全性检测的必要性和作用 ,分析了机动式 X射线检测系统主要特点 ,提出了系统总体结构设计方案 ,给出了该系统典型引信的射线成象结果。该系统的应用表明系统能够满足机动化引信安全性检测的需要 ,从根本上解决了部队... 讨论了机动化引信安全性检测的必要性和作用 ,分析了机动式 X射线检测系统主要特点 ,提出了系统总体结构设计方案 ,给出了该系统典型引信的射线成象结果。该系统的应用表明系统能够满足机动化引信安全性检测的需要 ,从根本上解决了部队弹药野战条件下机动化保障的急需。 展开更多
关键词 机动式引信 机动式X射线检测系统 引信安全性检测 弹药保障 X射线检测 实时成象
在线阅读 下载PDF
基于改进AHP和云模型的雷达软件系统安全性评价 被引量：12
4
作者 夏亮 项建涛 +2 位作者 杨江平 王慧娟 张长聪 《兵器装备工程学报》 CAS 北大核心 2019年第8期145-150,共6页
针对雷达软件系统安全性评价的问题,提出了一种基于改进AHP和云模型理论评价方法,采用了一种改进AHP算法确定指标权重,利用云模型理论将指标权重与云模型有机结合得到综合云,将综合云与各标准云相比较,得到软件系统的安全性评价结果,通... 针对雷达软件系统安全性评价的问题,提出了一种基于改进AHP和云模型理论评价方法,采用了一种改进AHP算法确定指标权重,利用云模型理论将指标权重与云模型有机结合得到综合云,将综合云与各标准云相比较,得到软件系统的安全性评价结果,通过实例计算并和其他两种评价方法进行比较验证了该方法的可行性和科学性。 展开更多
关键词 软件系统 改进AHP 云模型 安全性评价
在线阅读 下载PDF
大型相控阵雷达软件系统安全性研究 被引量：5
5
作者 夏亮 杨江平 +1 位作者 常春贺 王安安 《系统工程与电子技术》 EI CSCD 北大核心 2019年第8期1755-1762,共8页
随着软件系统在大型相控阵雷达中的大量应用,软件系统带来的安全性问题也引起广泛关注。针对大型相控阵雷达软件系统的安全性问题,首先利用软件失效模式和影响分析方法进行安全性分析,找出软件系统的薄弱环节;然后进行针对性安全性设计... 随着软件系统在大型相控阵雷达中的大量应用,软件系统带来的安全性问题也引起广泛关注。针对大型相控阵雷达软件系统的安全性问题,首先利用软件失效模式和影响分析方法进行安全性分析,找出软件系统的薄弱环节;然后进行针对性安全性设计,提出有效的改进措施;最后利用改进模糊层次分析法进行安全性评价,得到安全性评价结果。实例证明,这种方法可以有效分析大型相控阵雷达软件的安全性问题、找出影响安全性的故障原因、对安全性薄弱环节加以改进设计、对整个大型相控阵雷达系统进行安全性评价。 展开更多
关键词 大型相控阵雷达 软件系统 软件失效模式和影响分析 安全性设计 模糊层次分析法
在线阅读 下载PDF
环境对引信软件安全性接口影响研究 被引量：3
6
作者 崔俊杰 周春桂 张明荣 《弹箭与制导学报》 CSCD 北大核心 2007年第2期401-402,F0003,共3页
文中在介绍引信软件安全性概念的基础上,主要研究了引信使用环境对软件、硬件接口影响,并对引信接口设计方法进行了分析。
关键词 引信 安全性 软件 接口
在线阅读 下载PDF
基于系统理论过程分析的软件安全性分析 被引量：3
7
作者 徐燕 钟德明 尹帅 《计算机应用》 CSCD 北大核心 2013年第A02期238-240,共3页
通过分析、总结已有的危险分析技术,将系统理论过程分析(STPA)方法与其他方法相比较,总结、形成了软件安全性技术框架。其次,对比已有的分析方法,明确了一种适合软件密集系统的危险分析方法。最后使用STPA方法对飞机除冰系统进行了分析... 通过分析、总结已有的危险分析技术,将系统理论过程分析(STPA)方法与其他方法相比较,总结、形成了软件安全性技术框架。其次,对比已有的分析方法,明确了一种适合软件密集系统的危险分析方法。最后使用STPA方法对飞机除冰系统进行了分析研究,证明了方法的可行性。 展开更多
关键词 软件安全性 系统理论过程分析 除冰系统
在线阅读 下载PDF
基于系统思维的软件安全性需求开发框架 被引量：1
8
作者 褚文奎 丛伟 +1 位作者 樊晓光 顾文灿 《计算机科学》 CSCD 北大核心 2012年第B06期412-415,418,共5页
糟糕的软件需求是导致安全性关键系统发生灾难性事故的最主要原因。为解决需求开发问题,建构了一个系统建模与系统分析相结合、基于系统思维的软件安全性需求开发框架。针对系统模型的特定等级特定领域,提出了集成安全性分析的需求开发... 糟糕的软件需求是导致安全性关键系统发生灾难性事故的最主要原因。为解决需求开发问题,建构了一个系统建模与系统分析相结合、基于系统思维的软件安全性需求开发框架。针对系统模型的特定等级特定领域,提出了集成安全性分析的需求开发方法。该方法既能最大限度地约束安全性需求缺陷,防止其向同一分析等级内的其它领域或下一分析等级传播,并尽早重新生成安全性需求,又能够不断生成证据,支持安全性论据的构建。 展开更多
关键词 软件安全性 系统思维 需求工程 安全性分析 综合航电系统
在线阅读 下载PDF
航电控制计算机系统软件安全性框架研究 被引量：2
9
作者 孙媛 赵建军 周伟祝 《兵器装备工程学报》 CAS 北大核心 2018年第3期135-142,共8页
以航电控制计算机系统软件体系结构模型为例,从危险、安全策略和安全关键模型3个视图入手,分析了软件安全性的影响因素,提出了一个基于元模型的软件安全性体系结构框架,解决了原有航电控制计算机系统软件体系结构模型对安全性考虑不周... 以航电控制计算机系统软件体系结构模型为例,从危险、安全策略和安全关键模型3个视图入手,分析了软件安全性的影响因素,提出了一个基于元模型的软件安全性体系结构框架,解决了原有航电控制计算机系统软件体系结构模型对安全性考虑不周之处。 展开更多
关键词 软件安全性 安全关键系统 体系建模 体系设计 体系视角
在线阅读 下载PDF
引信安全系统及安全性现状与发展对策 被引量：9
10
作者 王雨时 《探测与控制学报》 CSCD 北大核心 2008年第6期1-4,7,共5页
我国引信定义弱化了引信安全系统和安全性的地位。对引信安全系统的发展需求主要是完备和提高安全性以及小型化和低成本化。形成我国引信安全系统及安全性差距的原因有引信安全系统设计理论不完善、对引信安全系统研制规律认识不够以及... 我国引信定义弱化了引信安全系统和安全性的地位。对引信安全系统的发展需求主要是完备和提高安全性以及小型化和低成本化。形成我国引信安全系统及安全性差距的原因有引信安全系统设计理论不完善、对引信安全系统研制规律认识不够以及科研管理体制等多方面的问题。针对这些问题,提出了借鉴美军《引信安全性设计准则》,建立引信安全性和爆炸物处理特性审查的专门机构和委员会等10余条对策建议。 展开更多
关键词 引信 安全系统 保险与解除保险装置 安全性
在线阅读 下载PDF
动态系统安全性分析软件平台研究 被引量：1
11
作者 罗鹏程 颜兆林 +1 位作者 郑龙 周经伦 《计算机工程与设计》 CSCD 北大核心 2007年第8期1768-1771,共4页
装备系统的动态行为特征使其安全性分析工作复杂而困难。为满足装备系统动态安全性分析工程实际的需要,需开发集成化的软件平台并综合运用有关技术方法来进行。研究了动态系统安全性分析的主要工作内容,分析了动态系统安全性分析平台对... 装备系统的动态行为特征使其安全性分析工作复杂而困难。为满足装备系统动态安全性分析工程实际的需要,需开发集成化的软件平台并综合运用有关技术方法来进行。研究了动态系统安全性分析的主要工作内容,分析了动态系统安全性分析平台对基础数据、知识和模型的需求,提出了平台的结构和功能设计方案,并给出了分析流程。 展开更多
关键词 动态性 系统安全性 软件平台 危险分析 风险评估
在线阅读 下载PDF
引信系统安全性设计中的“三防”原理 被引量：13
12
作者 路荣先 《探测与控制学报》 CSCD 北大核心 2002年第1期1-3,13,共4页
介绍基于“三防”原理的引信系统安全性设计方法 ,它把引爆武器所必须的关键件放在由能量势垒所包围的所谓“禁区”内 ,该区的门的关开只能由一个特定的电脉冲序列来控制 ,一旦能量隔离失效 ,禁区中的关键件自身就以一种安全的方式首先... 介绍基于“三防”原理的引信系统安全性设计方法 ,它把引爆武器所必须的关键件放在由能量势垒所包围的所谓“禁区”内 ,该区的门的关开只能由一个特定的电脉冲序列来控制 ,一旦能量隔离失效 ,禁区中的关键件自身就以一种安全的方式首先失效。这种设计方法有三个明显的优点 :一是进行安全性设计时不再需要知道异常环境的强度 ,二是可使关键件数最小 ,三是可使验证安全性的分析与使验证的成本控制在合理的范围内。虽然文中主要讨论“三防”原理 。 展开更多
关键词 引信系统 安全性设计 "三防"原理 禁区 强/弱链
在线阅读 下载PDF
安全性苛求系统中关于软件安全性评价的研究 被引量：9
13
作者 郦萌 《计算机工程与科学》 CSCD 2002年第2期59-61,69,共4页
安全性苛求系统由于其行为直接关系人身和大宗财产的安全 ,需要有一个安全性定量指标来反映系统中计算机软件的安全性品质。由于安全性苛求系统的软件在开发时规定要采取一系列可靠性和安全性措施 ,到形成产品后 ,软件内部缺陷的暴露都... 安全性苛求系统由于其行为直接关系人身和大宗财产的安全 ,需要有一个安全性定量指标来反映系统中计算机软件的安全性品质。由于安全性苛求系统的软件在开发时规定要采取一系列可靠性和安全性措施 ,到形成产品后 ,软件内部缺陷的暴露都是一些小概率事件 ,如果仅仅依靠测试数据进行安全性定量评估 ,由于测试开销的限制 ,依据似感不足。本文提出一种多元、多模型、多阶段进行安全性评价的方法。在系统开发和运用的不同阶段 ,从不同角度 ,利用历史的和当前的数据 ,依靠客观和主观的判断 ,对系统的安全性进行评价 。 展开更多
关键词 安全性苛求系统 软件安全性 评价 软件开发 计算机
在线阅读 下载PDF
软件系统安全性设计原则分析 被引量：8
14
作者 荆小庆 王光卫 《中国测试技术》 2005年第1期78-80,共3页
软件系统安全缺陷是所有常见计算机安全性问题的根源 ,而其安全性又是一个涉及面广泛而又复杂的课题 ,其最大难题之一是 :总有可能出现与所有已知模式完全不符合的新型安全性缺陷。因此 ,要保护免软件受各种可能类型 ,包括未知类型的攻... 软件系统安全缺陷是所有常见计算机安全性问题的根源 ,而其安全性又是一个涉及面广泛而又复杂的课题 ,其最大难题之一是 :总有可能出现与所有已知模式完全不符合的新型安全性缺陷。因此 ,要保护免软件受各种可能类型 ,包括未知类型的攻击是不切实际的 ,但可以通过在设计和构建软件时运用合理的系统安全性原则来避免软件陷入容易被攻击的状况。本文对软件开发过程中的五项系统安全性设计原则进行了分析 ,包括保护最薄弱环节、纵深防御、故障保护、最小特权以及分隔原则。 展开更多
关键词 安全性 设计原则 软件系统
在线阅读 下载PDF
基于软件代理的应用系统安全性设计与实现
15
作者 李海刚 吴启迪 《计算机工程与应用》 CSCD 北大核心 2002年第16期15-17,共3页
文章以国际结算应用信息系统ISDMSv1.0中的安全系统为应用背景,分析了信息系统的安全性问题,强调了系统的网络安全管理问题,设计并实现了一种基于软件代理和安全套接层协议SSL(SecureSocketLayer)的数据安全传输系统。对该系统的两个主... 文章以国际结算应用信息系统ISDMSv1.0中的安全系统为应用背景,分析了信息系统的安全性问题,强调了系统的网络安全管理问题,设计并实现了一种基于软件代理和安全套接层协议SSL(SecureSocketLayer)的数据安全传输系统。对该系统的两个主要组成部分:客户方安全代理NS-Agent和服务器端安全网关NS-Gateway,进行了详细介绍,并分析了实现中的若干关键技术。该方法被证明较好地解决了信息系统网络环境中的安全问题。 展开更多
关键词 软件代理 应用系统 安全性 设计 信息系统 网络安全 安全套接层协议 计算机网络
在线阅读 下载PDF
浅谈武器系统控制软件的安全性
16
作者 曹营军 傅文洁 《兵工安全技术》 CAS CSCD 1999年第1期20-22,共3页
针对武器系统控制软件的安全性问题,在强调控制软件特殊安全性的基础上,介绍了武器系统控制软件在设计上需要遵循的几个基本原则以及在软件安全性检测中的几个准则。
关键词 武器系统 控制软件 软件安全性 设计原则 检测准则
在线阅读 下载PDF
引信软件安全性概念及分析方法 被引量：8
17
作者 杨辉 高敏 《现代引信》 CSCD 1998年第4期1-5,共5页
随着引信技术的飞速发展，机电一体化安全系统和全电子安全系统将应用于各种新式弹药，软件在引信中的应用也愈加广泛。本文介绍了引信软件安全性的概念，引信软件安全性分析的工作任务，以及故障树（ＦＴＡ）、Ｐｅｔｒｉ网两种常见的... 随着引信技术的飞速发展，机电一体化安全系统和全电子安全系统将应用于各种新式弹药，软件在引信中的应用也愈加广泛。本文介绍了引信软件安全性的概念，引信软件安全性分析的工作任务，以及故障树（ＦＴＡ）、Ｐｅｔｒｉ网两种常见的软件安全性分析方法。 展开更多
关键词 引信 软件安全性 故障树分析 PETRI网技术
在线阅读 下载PDF
马尔可夫理论在引信安全系统安全性分析中的应用 被引量：9
18
作者 施坤林 谭惠民 《探测与控制学报》 CSCD 1991年第4期9-20,共12页
本文首次采用马尔可夫模型对具有不同逻辑结构的引信安全系统在勤务处理环境激励作用下的安全性进行了分析。比较了几种逻辑结构的安全性。指出了对系统实行时间窗控制是提高引信安全系统的最佳方法。对引信安全系统的设计将有一定的参... 本文首次采用马尔可夫模型对具有不同逻辑结构的引信安全系统在勤务处理环境激励作用下的安全性进行了分析。比较了几种逻辑结构的安全性。指出了对系统实行时间窗控制是提高引信安全系统的最佳方法。对引信安全系统的设计将有一定的参考价值。 展开更多
关键词 引信安全系统 马尔可夫理论 安全性分析 解除保险 半解除保险状态 环境激励 转移概率矩阵 状态空间 马尔可夫模型 顺序控制
在线阅读 下载PDF
远程多管火箭炮火控系统的软件安全性测试分析 被引量：1
19
作者 庞红彪 李之博 高小雅 《计算机科学》 CSCD 北大核心 2013年第06A期361-364,共4页
简单介绍了远程多管火箭炮火控系统的软件组成、功能、典型任务剖面和软件安全性测试的基本内涵;然后根据火控系统的典型任务剖面分析了不同阶段的软件安全性测试,系统解决了远程多管火箭炮火控系统软件安全性测试"难""... 简单介绍了远程多管火箭炮火控系统的软件组成、功能、典型任务剖面和软件安全性测试的基本内涵;然后根据火控系统的典型任务剖面分析了不同阶段的软件安全性测试,系统解决了远程多管火箭炮火控系统软件安全性测试"难""杂""多"问题,有效提高了测试效率和质量,进一步确保了远程多管火箭炮火控系统的安全性。 展开更多
关键词 远程多管火箭炮 火控系统 典型任务剖面 软件安全性测试 软件质量
在线阅读 下载PDF
软件安全性分析技术在基于通信的列车控制车载子系统中的应用 被引量：1
20
作者 曹彬 《城市轨道交通研究》 北大核心 2017年第B08期77-80,共4页
软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应... 软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应用效果,可供类似安全关键软件的安全性分析作参考。 展开更多
关键词 软件安全性分析 基于通信的列车控制 车载子系统
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部