基于Petri网的信息物理融合系统安全量化分析模型

来源 :第十一届全国软件与应用学术会议(NASAC2012) | 被引量 : 0次 | 上传用户:soy_chen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  随着信息物理融合系统(简称CPS)的广泛应用,安全性已成为其研究的核心问题。由于CPS离散计算过程和连续物理世界交织的特性,传统的安全分析方式不能直接适用。本文通过将博弈理论和Petri网建模方法进行结合,提出一种GHPN方法对CPS系统建立量化的安全分析模型,该模型既能适用CPS离散连续混合结构的模型刻画,又可合理模拟系统攻防双方行为,基于最终生成的模型从系统可靠性、脆弱性、风险后果等方面进行安全分析。最后,通过对飞机空中避撞系统的实例研究,表明该模型和分析方法的有效性。
其他文献
直播带货的兴起,吸引不少零售药店入场,而且很多大型连锁药店的直播带货“战绩”也相当出众.如近期漱玉平民大药房西洋参直播销量一千多万,老百姓大药房三宝粉直播单日销售额
期刊
国家医保局日前发布《医疗机构医疗保障定点管理暂行办法》和《零售药店医疗保障定点管理暂行办法》.对此,国家医保局解释称,随着医药卫生体制不断深化,我国城乡基本医疗保险
期刊
近日,Optoma推出世界上第一台具有光触媒空气净化功能的家庭影院投影机CineShowH27。据相关的测试报告显示:在激活CineShowH27约30分钟,其除臭能力是一般环境下的2.6倍,同时
  X86 虚拟化环境逐渐成为Web 服务器重要的部署环境,该环境中虚拟机不能直接访问硬件资源,如I/O 操作等必须通过虚拟机管理软件(VMM),因而当I/O 访问密集时会极大地增加VMM
  社会技术系统同时具备社会系统和技术系统的特性。这类系统需求的满足受到许多社会化因素的影响,具有很强的不确定性。运行时需求监控及自修复过程是保证这类系统的运行时
苹果采收和整形修剪都提倡多用梯子少上树,以免对树体造成伤害。有一架好梯子,自然是果树栽培者所期望的。这里给大家介绍几种轻便果梯,供参考。1自行车架梯找两辆废旧自行车,拆其
08期《拳击与格斗》刊载了对著名拳手希恩·莫斯利妻子金·莫斯利的采访。那么,这个看起来温柔、美丽的东方女性为什么会搅动拳坛,让加里·肖、唐·金这些老牌经纪人坐立不宁
  福建省失业保险制度运行中存在的覆盖面窄、受益人群少、给付标准低,期限长、基金巨额结余等问题,限制了失业保险制度功能的有效发挥,通过完善失业保险不同功能的政策适应性
又是因心脏病突发!古月、高秀敏……一个又一个曾带给国人欢笑的熟悉面孔离我们而去。2006年12月20日,一代相声艺术家马季也猝然辞世。噩耗传到西睡新疆。“13809959950”(
  云计算环境中资源调度管理是云计算的关键技术之一。本文介绍了云计算下资源调度模型,阐述了云计算资源调度流程和云计算环境下实体之间的关系。根据物理服务器的资源属性