收藏本站
《国防科学技术大学》 2001年
收藏 | 手机打开
二维码
手机客户端打开本文

基于Petri网的系统安全性建模与分析技术研究

罗鹏程  
【摘要】: 本文围绕当前系统安全性分析中存在的系统安全性模型描述与求解,以及安全性分析方法综合运用等问题进行研究。 目前安全性分析技术在动态系统安全性描述和分析方面存在很多困难,据此论文研究了在经典Petri网及其扩展模型的基础上进行描述和分析的思路,提出采用广义随机Petri网(GSPN)建立系统安全性模型的方法。在安全性定性分析方面,论文提出了关键状态的概念,给出了关键状态分析的搜索算法,研究了采用内锁和时间约束来消除高风险危险路径的方法。在安全性定量分析方面,我们研究发现去除消失标识后,GSPN的可达图与一个连续时间Markov过程(CTMP)是同构的,为此,可利用Markov过程方法进行分析。论文提出了基于Gauss-Seidel方法与动态行列技术的分析方法。在仿真方面,主要探讨了安全性定量分析中稀有事件问题的抽样技术,并提出采用重要性抽样法,以提高抽样效率。在技术方法综合运用方面,根据目前Petri网方法与传统的安全性分析方法结合不足,论文提出了一种综合了Petri网和传统安全性分析技术的方法。最后论文提出一种基于GSPN的系统安全性建模与分析系统的设计框架,并利用软件的原型系统对一个铁路系统进行了实例分析。
【学位授予单位】:

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 史庭俊,王超,马建峰;先应秘密共享系统安全性的动态分析和评估[J];西安电子科技大学学报;2004年06期
2 Frank Altschuler;Bruno Zoppis;;嵌入式系统安全性(下) 对攻击状况和防卫策略的概述和分析[J];电子产品世界;2008年07期
3 RaviSandhu;赛伯空间的工程授权和委托(摘要)[J];计算机工程;1999年S1期
4 Peter Welander;陈廷炯;;控制系统安全性的10大威胁[J];软件;2007年08期
5 毕宇;陈凌;;财政资金批量拨付系统安全性的设计与实现[J];华南金融电脑;2008年09期
6 蔡兵;银行柜面业务系统安全性策略[J];中国金融电脑;2000年03期
7 张利,江常青,王贵驷;关于建立信息系统安全性评估准则的几点考虑[J];信息安全与通信保密;2002年11期
8 黄再寿;;“军卫1号”工程硬件系统安全性初析[J];医学信息;2004年11期
9 谭湘,顾毓清,包崇明;移动agent系统安全性研究综述[J];计算机研究与发展;2003年07期
10 姜灵敏;网络会计信息系统安全性综合评价[J];计算机安全;2005年02期
11 郑龙;罗鹏程;高顺川;周经伦;;系统安全性分析技术综述[J];兵工自动化;2006年04期
12 张新卓;;关于网络系统安全性的研究与设计[J];科协论坛(下半月);2007年11期
13 王友顺;曲豪;;嵌入式Linux系统安全性探析[J];软件导刊;2012年08期
14 熊文杰;银行多功能代理业务系统的实现[J];湖南轻工业高等专科学校学报;2002年02期
15 王海峰,吕永波,张仲义;一种系统安全性的形式化验证方法[J];计算机工程与应用;2003年04期
16 刘芳,戴葵,王志英,吴丹;信息系统安全性评估研究综述[J];计算机工程与科学;2004年10期
17 刘欣 ,韩臻;电子政务终端系统安全性研究与对策[J];信息安全与通信保密;2004年04期
18 Frank Altschuler;Bruno Zoppis;;嵌入式系统安全性(中) 对攻击状况和防卫策略的概述和分析[J];电子产品世界;2008年06期
19 曾华军,申瑞民,申丽萍,张同珍;远程考试系统安全性[J];计算机工程;2001年03期
20 马俊;刘芳;戴葵;王志英;;一种信息系统安全性定量评估方法的研究与实现[J];计算机工程与科学;2008年01期
中国重要会议论文全文数据库 前9条
1 郭超;;大型民机研制的系统安全性项目计划管理[A];全面建成小康社会与中国航空发展——2013首届中国航空科学技术大会论文集[C];2013年
2 周瑞平;沈昌祥;骆絮飞;;增强信息系统安全性能的现实途径及实践[A];第十一届全国计算机安全技术交流会论文集[C];1996年
3 张国防;胡广平;;民机系统安全性进展与应用策略[A];第九届长三角科技论坛——航空航天科技创新与长三角经济转型发展分论坛论文集[C];2012年
4 廖朝晖;王珊;;COBASE系统安全性的实现[A];第十二届全国数据库学术会议论文集[C];1994年
5 邹永贵;舒小松;;LBS系统安全性研究[A];2008年计算机应用技术交流会论文集[C];2008年
6 阮耀平;戴英侠;赵战生;;通过入侵检测提高系统安全性[A];第14届全国计算机安全学术交流会论文集[C];1999年
7 陈云波;;如何提高合肥电信号线专业网络的运行品质和系统安全性的几点思考[A];2005年安徽通信论文集[C];2006年
8 胡铭曾;陈龙;;网络中的安全、保密性研究[A];第二次计算机安全技术交流会论文集[C];1987年
9 严静东;郭文明;凌庆;;全院影像网络系统的实现[A];首届中国IT与医药卫生高层论坛论文集[C];2004年
中国重要报纸全文数据库 前7条
1 万虎;四大因素影响OA办公系统安全性[N];建筑时报;2013年
2 本报记者 阳洁;畅通校园的一卡通[N];中国电脑教育报;2007年
3 ;信息系统安全性敲警钟[N];计算机世界;2008年
4 本报记者 宋家雨;e化企业的钥匙[N];网络世界;2001年
5 高乡月;服务器整合 IT和商业的双重选择[N];网络世界;2003年
6 任续烨;深信服科技公司推出Sinfor VPN系统   严格设定权限[N];中国计算机报;2004年
7 刘琦;金普斯:卡安全纳入3G航程[N];通信产业报;2004年
中国博士学位论文全文数据库 前2条
1 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
2 颜兆林;系统安全性分析技术研究[D];中国人民解放军国防科学技术大学;2001年
中国硕士学位论文全文数据库 前10条
1 王丰;前起落架系统的系统安全性分析方法研究[D];中国民航大学;2009年
2 刘北水;Mac OS X系统安全性研究[D];西安电子科技大学;2013年
3 冼宜亮;Windows新操作系统安全性的研究与应用[D];北京邮电大学;2013年
4 裴华艳;嵌入式系统安全性的分析与研究[D];西安电子科技大学;2009年
5 钟国栋;与测试相结合的系统安全性验证技术研究[D];内蒙古大学;2010年
6 郭驰名;基于GTST-DMLD的系统安全性分析方法研究[D];国防科学技术大学;2008年
7 闫爽;基于NAT穿越的网络可视教学系统安全性研究[D];东北大学;2011年
8 应江威;LTE-A Relay系统安全性研究[D];北京交通大学;2012年
9 高盛祥;基于J2EE的应用系统安全性研究[D];昆明理工大学;2005年
10 迟青爽;基于RTEMS多核嵌入式系统安全性及引导技术研究[D];哈尔滨工业大学;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978