温馨提示：由于个人手机设置不同，如果发现不能下载，请复制以下地址【https://www.wenke99.com/d-12905457.html】到电脑端继续下载（重复下载不扣费）。
1: 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。 2: 试题试卷类文档，如果标题没有明确说明有答案则都视为没有答案，请知晓。 3: 文件的所有权益归上传用户所有。 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。 5. 本站仅提供交流平台，并不能对任何下载内容负责。 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
本文（基于Spin工具模型检测.docx）为本站会员（乾***）主动上传，文客久久仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私，请立即通知文客久久（发送邮件至hr@wenke99.com或直接QQ联系客服），我们立即给予删除！
基于Spin工具的KDC密钥交换协议的模型检测分析专业:计算机软件与理论学号：2013021453姓名：马海峰指导老师：许道云基于Spin工具的KDC密钥交换协议的模型检测分析2013级计算机软件与理论马海峰20130214531研究背景与验证环境介绍1.1研究背景与KDC密钥交换协议介绍1.1.1研究背景密码协议是以密码学为基础的消息交换协议,其经常运用与计算机通信网络和分布式系统中，运用密码算法来实现密钥分配和身份认证等功能。现在，密码协议已经在计算机领域得到广泛应用，但是，对密码协议的安全性认证和设计依然很困难。它的条件定义为：小系统：参与协议运行的各主体都是唯一的(如一个发送者，一个响应者)，作用也是唯一的，这些主体也都是诚实的，诚实即是它们严格按照协议规定并遵循自己的身份参与协议运行。为了便于理解，引入强安全性破坏和一般安全性破坏的概念。强安全性破坏：即一个诚实的主体相信在协议运行中用到的一个值是仅他和另外诚实主体之间的共享密码，但入侵者知道这个值。一般安全性破坏:一个诚实主体相信在一个完整协议运行中
Copyright © 2018-2021 Wenke99.com All rights reserved
工信部备案号：浙ICP备20026746号-2
公安局备案号：浙公网安备33038302330469号
本站为C2C交文档易平台，即用户上传的文档直接卖给下载用户，本站只是网络服务中间平台，所有原创文档下载所得归上传人所有，若您发现上传作品侵犯了您的权利，请立刻联系网站客服并提供证据，平台将在3个工作日内予以改正。
