免费论文
收费论文
发表论文
我要投稿
设为首页 招标网
联系我们
经济学|管理学|法学|计算机|医学|教育|文学|政治|艺术|哲学|更多 经济学|管理学|法律|计算机|医学|教育|文学|政治|艺术|哲学|更多
 论文搜索
  推荐服务: 论文发表 收费论文
期刊论文格式
毕业论文格式
期刊论文范文
毕业论文范文
论文致谢
毕业论文答辩
开题报告
论文选题
英文摘要书写
基于Petri网的密码协议分析
中文名称: 基于Petri网的密码协议分析
全文提供: 购买充值卡,就可下载本篇论文全文  
论文编号: 3514685收藏本论文】【我的收藏】【我要投稿
英文名称: The Analysis of Cryptographic Protocols Based on Petri Nets
学位类型: 硕士毕业论文
作者: 涉及隐私,隐去***  作者本人请参看权力声明>>
导师: 涉及隐私,隐去***
毕业学校: 涉及隐私,隐去***
专业: 计算机应用技术
毕业年份: 涉及隐私,隐去***
关键字: 密码协议 形式分析 Petri网 模型检测 运行模式 攻击 形式化方法
简介目录: 点击此处 免费索取本论文简介和目录>>
全文提供: 购买充值卡,就可下载本篇论文全文  

       论文发表:快速、低价、包过!发表论文就找论文天下

论文简介:密码协议的安全性分析对于保障计算机网络的安全通信具有重要意义。运用形式化方法对密码协议进行分析一直是该领域的研究热点。目前密码协议的形式分析方法包括:逻辑方法、模型检测方法、定理证明方法和Petri网方法等,这些方法各自有它们的优点和缺点。本文主要针对Petri网方法在密码协议分析中存在的一些不足,研究将Petri网方法和模型检测方法的一些理论成果结合起来对密码协议进行分析,取得了如下结果: 1.提出将运行模式法和Petri网建模结合起来分析密码协议的思想,给出了协议运行模式的基础Petri网模型和攻击Petri网模型的概念,并阐述了两者与密码协议分析之间的关系。 2.给出协议运行模式的基础Petri网模型和攻击Petri网模型的构造方法,在此基础上给出密码协议分析的具体步骤。 3.具体对Needham-Schroeder公钥协议,Helsinki协议以及TMN协议进行了分析,并对密码协议的一类攻击的特点做出了概括。 本文工作的特点是: 1.利用协议的运行模式来指导Petri网建模,这使得我们的方法与一般Petri网方法分析密码协议的思路有所不同。 2.以一个协议的两个实例并行运行时可能存在的攻击为例,探讨了多个实例并行运行情况下的协议安全问题。
本类相关论文:
·基于混沌的序列密码研究与应用
·OEF上的快速算法研究及其在ECC上的应用实现
·RSA的一种改良快速算法的设计与实现
·一种分组密码算法测试平台设计
·密码芯片安全升级保护机制静态部分的设计及实现
·IDEA算法的研究及其变种的实现
·基于空间量子密钥分配系统的单光子探测实验研究
·NTRU公钥密码体制的安全性分析和应用研究
·对流密码中代数攻击的研究
·椭圆曲线上点的标量乘法
密码协议论文 形式分析论文
·Petri网在密码协议建模和分析中的应用
·密码协议的形式化分析方法研究
·密码协议符号分析方法的计算可靠性研究
·异构无线网络安全协议研究
·超椭圆曲线密码协议的研究与应用
·高中地理新教材活动系统研究
·于丹《<论语>心得》世俗化传播研究
·高校学术管理和行政管理的关系研究
·三峡机组的绕组故障形式分析及物理模拟
·一个形式分析——方形画面的空间架构
Petri网论文 模型检测论文
·港口作业调度的算法设计与模型研究
·基于对等网络架构的新型控制系统研究与实现
·某汽车检具生产车间设施规划研究
·基于需求文档的安全契约获取方法及其实现
·EOL产品拆卸序列规划研究
·螺旋输送机螺旋叶片的反向工程实践研究
·可信信道协议的设计与形式化验证
·模型驱动架构中的可信嵌入式软件建模与分析
·特征模型驱动的软件开发方法及相关技术研究
·安全协议可视化建模和验证方法的分析与设计
运行模式论文 攻击论文
·甘肃城乡一体化社会救助体系建设研究
·基于金融衍生工具的供应链融资模式研究
·社会保障系统运行模式及效率评价研究
·太阳能—空气双热源复合热泵运行模式研究
·基于知识管理的企业专用性人力资本投资激励研究
·混沌理论在保密通信系统的应用研究
·医院信息系统内外网合并面对的挑战和应对方法
·结合语义的统计机器学习方法在代码安全中应用研究
·网络攻防对抗平台(NADP)研究与实现
·基于RFID技术的现代物流信息系统安全性研究
  推荐期刊投稿
·劳动保障世界
·Engineering Scie
·热加工工艺(焊接版)
·农药科学与管理
·中国电子商情.基础电子
·机器人
·东南大学学报(哲学社会科学版)
·中国城市经济
·化工高等教育
·清江论坛
 
·今日养猪业
·黑龙江医药
·上海市社会主义学院学报
·中外玩具制造
·桥梁建设
·现代农业科技
·时代青年(月读)
·航空标准化与质量
·昆明师范高等专科学校学报
·故事世界
 
·印刷质量与标准化
·中国建材科技
·记者观察(下半月)
·黑龙江民族丛刊
·中华胸心血管外科杂志
·少年体育训练
·中国真菌学杂志
·心血管康复医学杂志
·北方音乐
·催化学报
   免费论文
公共管理 | 法学 | 理学 | 医药学
政治 | 社会学 | 文学 | 艺术 | 哲学
工学 | 计算机 | 文化 | 英语论文
经济学 | 财政 税收 | 证券金融
管理学 | 会计审计 | 工商管理 | 教育
财务管理 | 论文写作指导 | 应用文
   收费论文
马列毛邓 | 哲学宗教 | 社会科学
政治法律 | 军 事 | 经 济
文化科学教育体育 | 语言文字
文学 | 艺术 | 历史地理 | 自然科学
数理化 | 天文 | 生物科学 | 医药卫生
农业科学 | 工业技术 | 交通运输
航空航天 | 环境安全
   浏览历史

联系论文网 | 收费论文 | 发表论文 | 论文翻译 | 友情链接 | 全部分类 | 网站地图 | 期刊导航
版权所有 2008-2018 论文天下 www.lunwentianxia.com 京ICP备08104503号