下载 >  安全技术 >  网络安全 > 协议形式化相关论文

协议形式化相关论文 评分:

收集的协议形式化的相关论文,总共57篇,希望对别的同学了解协议形式化有所帮助
2013-03-13 上传大小:29.2MB
分享
收藏 举报
论文形式化协议性能测试框架》

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

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

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

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

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

立即下载
论文《安全协议形式化说明、设计及验证》

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

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

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

立即下载
网络协议形式化分析与设计

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

立即下载
电信协议工程与形式化方法

电信协议工程与形式化方法,协议工程相关的概述

立即下载
形式化分析工具Scyther软件的说明手册

形式化分析的工具Scyther软件的说明手册,可以对工业协议和安全加密的协议进行形式化分析

立即下载
UML系统分析方法(论文)

【作者】 花文健; 李建华; 【机构】 空军工程大学电讯工程学院; 空军工程大学电讯工程学院 陕西西安710077; 陕西西安710077; 【摘要】 着重讨论了UML对象建模技术在软件开发活动中系统分析 (0 0A)阶段的运用 ,提出了UML完成需求分析的基本过程 ,最后 ,通过一个简例说明UML进行 0 0A的一般方法

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

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

立即下载
NSPK协议分析

有关NSPK协议分析。漏洞攻击安全性分析。

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

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

立即下载
车联网毕业论文介绍

一个大学毕业设计PPT简单的对车联网的介绍以及Android应用的介绍

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

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

立即下载
论文《用于通信网络协议开发的形式化方法》

论文《用于通信网络协议开发的形式化方法》

立即下载
我的毕业论文

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

立即下载
Ice协议形式化分析

ice中间件是一个和CORBA同样强大却摒除了CORBA的缺陷的分布式对象平台, 它为异构环境下的应用开发提供了一种新的方式。ICE协议定义了客户和服务器通信的规则。本文使用Pi演算描述分析ICE协议, 从交互过程和协议实体两方面对协议进行了刻画, 揭示其并发、 分布的对象计算特征。

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

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

立即下载
IM协议安全的相关论文

0 引言 2006年中国互联网信息中心CNN IC调查显示,我国即时 通信( InstantMessaging, IM)活跃用户占网民总数的59. 8% , IM在人们的日常联系中发挥着越来越大的作用。但IM系统 同时存在极大的安全隐患,其面临的主要威胁有:窃听、账号 假冒与口令破解、蠕虫病毒传播等[ 1 ] 。主要IM服务提供商 在系统设计时多以实用性为目的,较少考虑安全性问题。为 了有效保护用户的敏感信息,需要对IM进行安全性设计。 目前,针对主流IM安全问题的解决方案主要是通过SSL 方式实现客户端到服务器的认证和加密通信[ 2 ] ,尚未有效地 解决客户端之间的身份认证、消息加密与消息

立即下载
软件开发形式化方法教材

软件开发的形式化方法。语义学方面的教材。

立即下载

热点文章

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!

举报

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