收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

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

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


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 马亮,汪涛,吴耿锋;基于WfPN的业务流程重组[J];计算机研究与发展;2001年07期
2 黄圣国,孙同江,吕兵;运输网络的最短有向路Petri网仿真算法[J];南京航空航天大学学报;2002年02期
3 孙冬煜;教务排课系统的Petri网建模分析[J];微型电脑应用;2002年11期
4 叶许红,颜钢锋;基于Petri网的办公自动化工作流建模[J];计算机工程与应用;2003年06期
5 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期
6 袁志祥,叶红;电子商务协议的建模方法与分析[J];安徽工业大学学报(自然科学版);2004年03期
7 曾庆田,吴哲辉;Petri网分解的保性条件分析[J];小型微型计算机系统;2004年09期
8 刘道斌,郭莉,白硕;基于Petri网的安全协议形式化分析[J];电子学报;2004年11期
9 郑谦益;面向对象Petri网及其在告警服务代理软件中的应用[J];南京邮电学院学报;2004年04期
10 王文学;用Petri网分析离散事件动态系统[J];控制与决策;1990年01期
11 张岚,李人厚;一种基于广义随机Petri网的分析器[J];计算机学报;1991年05期
12 王永革;序佩特里(Petri)网计算能力分析[J];软件学报;1993年03期
13 管惠维,李志光;MPP系统模型化的广义随机Petri网技术[J];小型微型计算机系统;1997年03期
14 杨光宇,郑应平;面向对象Petri网建模与仿真的可视化环境[J];系统仿真学报;1997年03期
15 孟伟,张国印,韩学东;一种新型的系统建模方法[J];哈尔滨工程大学学报;2000年05期
16 王文德,左风朝;基于M-Petri网的活性研究[J];计算机工程与应用;2001年15期
17 刘晓霞;基于Petri网知识库维护方法的实现[J];小型微型计算机系统;2002年07期
18 郑红,李师贤;用Petri网描述CORBA事件服务[J];小型微型计算机系统;2003年07期
19 徐树维,任小金;基本Petri网:模型、特性和分析方法[J];焦作工学院学报(自然科学版);2003年05期
20 高峰,孙培良;PLC控制系统的Petri网模型研究[J];武汉工业学院学报;2003年04期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
2 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
3 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
4 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
5 侯立文;蒋馥;;客户忠诚度提升决策研究[A];2004年中国管理科学学术会议论文集[C];2004年
6 乔非;吴启迪;沈荣芳;;基于Petri网的事务流程模型[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
7 薛静锋;曹元大;;Petri网在入侵检测中的应用[A];第六届全国计算机应用联合学术会议论文集[C];2002年
8 胡红革;黄大贵;谢阅;;混和系统Petri网模型的行为特性及判定方法[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
9 胡瑜;陈光(礻禹);;GPIB高速数据传输协议的Petri网模型及分析[A];首届信息获取与处理学术会议论文集[C];2003年
10 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
中国博士学位论文全文数据库 前10条
1 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
2 颜兆林;系统安全性分析技术研究[D];中国人民解放军国防科学技术大学;2001年
3 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年
4 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
5 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
6 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年
7 周荣辅;基于先进制造技术的制造业生产流程再造研究[D];燕山大学;2007年
8 王占中;基于Petri网的多式联运流程优化研究[D];吉林大学;2007年
9 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年
10 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
中国硕士学位论文全文数据库 前10条
1 戴敬周;用Petri网对语义网络歧义性和推理不确定性改进的探索[D];太原理工大学;2002年
2 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年
3 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
4 秦巧妹;安阳供电公司业扩报装流程再造研究[D];华北电力大学(北京);2007年
5 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年
6 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
7 胡辉;业务流程再造(BPR)理论与系统建模仿真研究[D];西安电子科技大学;2005年
8 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年
9 余永佳;基于Petri网的项目管理、优化和决策技术[D];南京理工大学;2005年
10 周颖;工作流中并发流程间资源冲突的研究[D];山东大学;2005年
中国重要报纸全文数据库 前10条
1 宁夏银行 周丹哲;网络银行的安全策略[N];计算机世界;2009年
2 德国托克斯紧固技术有限公司总经理 赵如义;外保温系统锚栓加固与系统安全性[N];中国建设报;2004年
3 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
4 ;信息系统安全性敲警钟[N];计算机世界;2008年
5 陈正利 中国工程机械工业协会挖掘机械分会秘书长;关注进口挖掘机定位系统安全性[N];中国工业报;2009年
6 钱江;同创Linux新品出炉[N];科技日报;2000年
7 本报首席记者 胡军;手机系统安全性遭质疑[N];中国消费者报;2009年
8 陈虎;“e商2000”软件大赠送[N];计算机世界;2000年
9 中国银河证券有限责任公司信息技术中心主任 陈静;银河证券[N];网络世界;2001年
10 主持人:netfan 胡南迪;什么是RAID?[N];电脑报;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978