【摘 要】
：
动态异构冗余结构是拟态防御技术的常用工程模型.然而,目前尚缺乏对该结构实施形式化分析的手段,因为该结构缺乏形式化建模方法.针对此问题,使用有穷状态自动机及其并行组合
【机 构】
：
郑州大学信息工程学院,北京大学信息科学技术学院,信息工程大学密码工程学院,西安电子科技大学计算机学院
【基金项目】
：
国家自然科学基金(No.U1204608);国家重点研发计划(No.2016YFB0800100)
论文部分内容阅读
动态异构冗余结构是拟态防御技术的常用工程模型.然而,目前尚缺乏对该结构实施形式化分析的手段,因为该结构缺乏形式化建模方法.针对此问题,使用有穷状态自动机及其并行组合自动机为一些拟态攻防行为建立计算模型.首先,使用单个有穷状态自动机为单个执行体建模;其次,使用有穷状态自动机的并行组合为执行体组合建模;再次,修改状态迁移规则,得到可描述攻防行为的拟态防御自动机模型;最后,根据该自动机模型的状态条件,分析动态异构冗余结构上拟态攻防行为的安全性.此外,也可使用交替自动机为拟态攻防建模,并把安全性自动分析规约为交替
其他文献
枫香坡侗族风情寨在政府大力引导和扶持下，以其优越的自然条件优、丰富的民族文化资源、“三体合一”的独特发展模式，在较短时间内取得了旅游业的极大发展。但潜在的诸如民族文
目的分析经动脉栓塞（TAE）治疗急性非静脉曲张性上消化道出血（ANVUGIB）的临床疗效。方法回顾性分析17例ANVUGIB,分为术后出血组（A组）11例与非术后出血组（B组）6例,依据出血责任动脉情况
在简要论述了环境问题发展历程的基础上,阐述了环境的作用与环境问题的实质,并应用经济学的供需理论从供需关系和社会费用两方面对环境问题产生的原因进行了分析,最后提出了
主要对用原子吸收光谱法测定工业废水中总铬的含量展开了探讨,并对实验部分进行了详细说明,以期为相关单位的需要提供参考和借鉴。
针对舰船毁伤效能评估问题,进行了抗冲击瓦结构舰船毁伤效能评估方法研究。研究结果显示,炸药爆炸威力及目标易损性构成了不可偏废型舰船毁伤效能评价指标体系,爆炸威力赋值
矿山落后，铁矿石自给率低，是制约我国钢铁工业发展的老问题。改革开放以后，虽然有进口矿作补充，但由于铁矿供应商的垄断经营，价格忽高忽低，生产成本又难以承受，几乎把钢铁工业的利润
在现金管理工作中，笔者发现目前存在以下几个方面的问题：一、库存现金、严重超额。大多数企业库存现金都不同程度地超过银行核定的库存限额。有的出纳竟不知银行核定的现金库存
本文从"有"的语法功能和表义特点出发,对元代白话文句末"有"和青海汉话句末"有"进行比较分析,认为青海汉话句末的"有",是蒙古语对于元代汉语影响在青海汉话中的"存在"。这一
主动作为探索创新在去产能中做好困难职工帮扶解困工作$$河北省总工会$$一、研究新情况，找准帮扶解困发力点$$河北省总工会在2014年开展全省困难工业企业及其职工状况调研的基
胰腺消化道吻合是实施胰十二指肠切除术（pancreaticoduodencetomy，PD）的关键，而这一关键技术的目标是降低吻合口漏的发生率。目前有超过100多种不同的胰腺消化道吻合方式，对于最佳