【摘 要】
：
设计对指定类型的网络攻击具有防御能力的安全协议,通常是一项重要且具有挑战性的任务。即使知道安全协议容易受到某种攻击,对其进行合理的改进也并不容易。本研究提出了一个
【基金项目】
：
国家自然科学基金(61602177),上海市自然科学基金(18ZR1411600)
论文部分内容阅读
设计对指定类型的网络攻击具有防御能力的安全协议,通常是一项重要且具有挑战性的任务。即使知道安全协议容易受到某种攻击,对其进行合理的改进也并不容易。本研究提出了一个基于Event-B方法的通用框架,用来指导安全协议的修改,并验证改进后的协议可以防御已知的网络攻击。首先用初始模型对攻击场景高度抽象,通过对抽象模型的精化,得到反映真实攻击过程的具体模型。然后将描述协议行为的事件从模型中分离出来,单独对其进行精化改进,如果改进后的协议事件重组的模型与具体模型不存在精化关系,则改进的合理性可以得到验证。最后通过NS
其他文献
从无菌系建立、增殖培养、生根培养、炼苗移栽等方面详细介绍了紫叶酢浆草组培工厂化生产的方法,并阐述了其栽培管理技术.
随着大数据浪潮席卷全球,各国纷纷出台大数据相关政策,积极开展大数据建设应用项目。本文研究军民领域大数据建设应用国内外现状,分析我国在大数据建设方面存在的问题,提出军
在网络信息体系思维的指导下,通信、导航、遥感网络一体化融合发展逐渐成为天基网络信息体系发展的主流。本文对国内外通导遥融合发展的现状进行了梳理,总结了我国通导遥融合发展推进过程中存在的主要问题和需求,在此基础上提出了网络信息体系思维下基于天地一体化信息网络的通导遥融合的立体式天基网络信息体系架构设想,并展望了通导遥融合发展的应用前景,为推进我国网络信息体系下的天地一体通导遥融合应用发展提供借鉴。
面对我国旅游扶贫外部推力显著,内生动力不足的发展背景,从社区居民参与角度,分析四川盐文化遗产旅游扶贫的内生发展动力,探索激发社区居民旅游扶贫内生动力的有效途径显得尤
随着信息技术特别是移动互联网和大数据技术的蓬勃发展,我国政府信息化呈现新特点。与之配套的评估指标呈现评估对象片面、知识产权权重低等问题,指标结构及权重亟需优化调整
河北省易县农业局坚持＂创新、协调、绿色、开放、共享＂的发展理念,认真落实《动物防疫法》等法律法规,狠抓薄弱环节,强化动物卫生监督工作.一是提升执法办案质量,明确专人负责