下载 >  课程资源 >  专业指导 > 论文《安全协议的形式化说明、设计及验证》

论文《安全协议的形式化说明、设计及验证》 评分:

论文《安全协议的形式化说明、设计及验证》
2008-03-09 上传大小:250KB
立即下载 开通VIP
想读
分享
收藏 举报
网络协议形式化分析与设计

网络协议的形式化分析与设计 古天龙 2003 计算机网络及数据通信是当今信息社会的基石,网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程

立即下载
模型检测 形式化分析 安全协议 相关论文

模型检测 形式化分析 安全协议相关论文,小弟最近在研究这个,与同行共享~

立即下载
论文形式化协议性能测试框架》

论文《形式化的协议性能测试框架》

立即下载
协议形式化相关论文

收集的协议形式化的相关论文,总共57篇,希望对别的同学了解协议形式化有所帮助

立即下载
安全协议形式化分析

形式化分析、安全协议分析

立即下载
形式化B语言

形式化验证 B语言 安全系统设计 软件工程

立即下载
安全协议形式化的课程教案

有关网络安全协议形式化分析的课程ppt教案,包含安全协议的基本概念、形式化分析方法和工具的概述

立即下载
形式化方法论文集合

有关形式化方法著名论文的集合,由日本九州大学的教授整理的

立即下载
Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol

基于形式化验证工具ProVerif的区块链投票协议形式化验证,方便初学者复现从而理解形式化验证在智能合约领域的应用

立即下载
安全协议分析的形式化理论与方法

研究生论文-安全协议分析的形式化理论与方法

立即下载
论文《基于形式化方法的协议测试理论》

论文《基于形式化方法的协议测试理论》

立即下载
我的毕业论文

硕士毕业论文安全协议 形式化方向

立即下载
petri网验证协议

对协议的形式化验证,用有色petri网对协议进行证明验证

立即下载
形式化验证,模型检测和数理逻辑经典书籍系列(1)

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:Logic in Computer Science Modelling and Reasoning about Systems;A Second Course in Formal Languages and Automata Theory;Real-Time Systems Formal Specification and Automatic Verification;Computability Theory ;Computational Complexity A Modern Approach

立即下载
安全协议形式化研究与实现

硕士论文,研究通信安全协议方面的,对形式化的研究与实现

立即下载
安全协议形式化分析理论与方法研究综述

安全协议形式化分析理论与方法研究综述,学术论文

立即下载
基于进程代数安全协议验证的研究综述

安全协议用于实现开放互联网络的通信安全, 进程代数是一类使用代数方法研究通信并发系统理论的 代数的安全协议验证是以进程代数作为安全协议描述语言的安全协议形式化验证方法 9描述了基于进 议验证研究的!种主要方法: 基于踪迹语义的方法; 基于互模拟验证的方法; 基于类型理论的方法; 基于 并给出了基于进程代数的安全协议验证进一步的研究方向

立即下载
软件工程形式化

武汉大学软件工程国家重点实验室讲义,是软件工程领域形式化\语义逻辑必须有的知识储备

立即下载
安全协议逻辑分析论文

本文介绍了安全协议的基本概念和安全协议的安全性; 研究了安全协议逻辑分析方法的途径和技术的发展历程;介绍了安全协议形式化分析的三种思路; AVISPA是一个用于自动验证安全协议的工具。我们介绍了高级协议规范语言和中间格式,分析了AVISPA工具的整体结构,特别深入研究了AVISPA的后台OFMC.我们用AVISPA,分析了H.530协议

立即下载
软件形式化方法 有限状态机

软关于有限状态机的件形式化方法 ,包括模型检测,外文论文打包。

立即下载
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

论文《安全协议的形式化说明、设计及验证》

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
3 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

若举报审核通过,可返还被扣除的积分

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: