-
题名核电站数字化仪控系统安全保密分析方法研究
被引量：2
- 1
-
-
作者
尹宝娟
丁义行
孙王强
李幼媛
赵云飞
程建明
-
机构
环境保护部核与辐射安全中心
国家核安全局
北京广利核系统工程有限公司
-
出处
《核科学与工程》
CAS
CSCD
北大核心
2016年第3期430-434,共5页
-
文摘
核电站数字化仪控系统的信息安全保密分析是核安全级仪控系统软件验证与确认工作的任务之一。按照相关规定,提出了一种基于核安全级仪控系统软件开发全生命周期过程,结合规则检查分析和基于信息流分析的安全保密分析方法。该方法经应用检验能够证实系统在信息安全保密方面的防范能力,在实际项目中得到应用。
-
关键词
安全保密分析
验证与确认:数字化仪控系统
规则检查分析
信息流
-
Keywords
Security analysis
Verification and validation（V＆V）
Digital instrumentation and control（I＆C）system
Rule-based analysis
Information flow
-
分类号
TP29
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名SPN在网络安全保密系统可靠性分析中的应用
被引量：1
- 2
-
-
作者
林长春
罗朝平
仇悦
张明清
-
机构
解放军信息工程大学电子技术学院
北京市
-
出处
《信息安全与通信保密》
2009年第1期107-110,113,共5页
-
文摘
文章针对网络安全保密系统的安全需求和运行特性,引入Petri网理论指导网络安全保密系统的可靠性建模与分析过程。首先详细描述了运用随机Petri网对网络安全保密系统进行可靠性建模与分析的具体方法和过程;然后给出一个实例,对系统的保密性服务子系统进行建模,并分析了该子系统在安全运行状态下的可靠性。通过对可靠性建模分析方法的应用,不仅实现了系统方案设计阶段可靠性的可评估性,而且提高了系统后期开发过程的可操作性。
-
关键词
网络安全保密系统(NSSS~可靠性建模与分析
随机Petri网(SPNl安全运行状态
-
Keywords
network security secret system（nsss）
reliability modeling and analysis
stochastic petri net（spn）
security running state
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
