论文摘要
随着计算机网络应用的不断深入，对安全协议进行分析和研究已经成为信息安全领域的一个十分重要的研究方向。形式化分析由于其精炼、简洁和无二义性逐步成为分析安全协议的一条可靠和准确的途径。虽然现在已经有许多形式化的分析方法被用于安全协议的分析，但是具体分析安全协议时都有其不足之处，所以怎样对这些方法取长补短，发现更为有效的方法是很有意义的工作。本文主要研究了基于颜色Petri网的安全协议分析和评估方法。作者所取得的主要研究结果如下：1．应用颜色Petri网作为工具来分析和评估安全协议，并且给出了用它分析安全协议的具体方法和步骤。能够反映协议的结构特性和动态特性。2．用颜色Petri网对针对NSSK协议的重放攻击和假冒攻击进行了分析和建模，给出了两种攻击的发生序列(执行剧情)和详细攻击剧情，并且针对这两种攻击方案分别给出了相应的改进方案。3．指出了应用时间戳抵御重放攻击可能存在的抑制—重放攻击问题，应用临时值进行了改进，验证了应用时间戳和临时值来保证协议安全性的优缺点。
论文目录
相关论文文献
- [1].基于Ⅰ型同步结构分解的微电网Petri模型[J]. 控制工程 2019(12)
- [2].基于Petri网的银行贷款建模与分析[J]. 怀化学院学报 2019(11)
- [3].基于Petri网的离散事件系统初始资源优化配置[J]. 河北大学学报(自然科学版) 2020(02)
- [4].基于随机Petri网的井下连续运输系统可靠性研究[J]. 煤矿机械 2020(05)
- [5].基于Petri网的量子通信协议建模[J]. 电子技术与软件工程 2020(09)
- [6].基于Petri网诊断器的离散事件系统模式故障的在线诊断[J]. 控制理论与应用 2020(07)
- [7].基于多层模糊Petri网的跨区域电网安全态势自动预测方法研究[J]. 自动化与仪器仪表 2020(07)
- [8].基于Petri网的柔性制造系统混惑检测与控制[J]. 计算机应用研究 2016(12)
- [9].模糊故障Petri网在飞机电源系统故障诊断中研究[J]. 装备制造技术 2016(11)
- [10].模糊Petri网在油田开发设计领域的应用研究[J]. 计算技术与自动化 2016(04)
- [11].基于加权模糊Petri网的无人机自主任务推理决策研究[J]. 西北工业大学学报 2016(06)
- [12].基于事件链及广义随机Petri网的洪涝灾害案例分析[J]. 武汉理工大学学报(信息与管理工程版) 2017(02)
- [13].基于扩展Petri网的飞机装配系统设备调度方法[J]. 航空制造技术 2017(10)
- [14].基于时序信息的模糊Petri网电网故障诊断方法[J]. 电工技术学报 2017(14)
- [15].基于Petri网的导弹海上补给指挥流程优化分析[J]. 舰船电子工程 2017(07)
- [16].基于Petri网的网络空间作战指挥机构运行流程分析[J]. 装甲兵工程学院学报 2017(04)
- [17].一种基于广义随机Petri网的医院门诊流程的建模方法与其性能分析[J]. 电子技术 2017(08)
- [18].一种基于模糊Petri网的知识元语义集成方法[J]. 情报理论与实践 2017(09)
- [19].基于模糊Petri网的卸船机故障诊断专家系统[J]. 起重运输机械 2015(12)
- [20].基于层次着色Petri网的网构软件性能建模与仿真分析方法[J]. 小型微型计算机系统 2016(04)
- [21].基于随机Petri网的广州市地铁机电安装合同变更流程仿真与优化[J]. 建筑监督检测与造价 2015(06)
- [22].基于Petri网的终端区冲突避免方法研究[J]. 舰船电子工程 2015(03)
- [23].基于时间Petri网的渗透测试攻击模型研究[J]. 北京理工大学学报 2015(01)
- [24].基于模糊Petri网的门式起重机故障诊断专家系统研究[J]. 机械管理开发 2015(03)
- [25].基于广义随机Petri网的旅游供应链建模[J]. 物流技术 2015(15)
- [26].基于共享子网合成Petri网的协同虚拟维修系统[J]. 中国修船 2015(05)
- [27].基于Petri网的舰载机出库调度建模方法[J]. 火力与指挥控制 2015(09)
- [28].一类Petri网可达标识数的有效计算方法[J]. 西安工程大学学报 2015(05)
- [29].基于Petri网的液压马达故障诊断[J]. 机械研究与应用 2013(05)
- [30].基于Petri网理论的核电站主给水系统建模及其可靠性分析[J]. 热力发电 2013(12)