注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 基于π演算的Petri网和密码协议的形式化分析

  2. 上海交大博士论文 基于π演算的Petri网和密码协议的形式化分析

  3. 所属分类：其它

    • 发布日期：2009-05-19
    • 文件大小：3mb
    • 提供者：iamsxy999

  1. 供应链环境下通用可组合安全的RFID通信协议

  2. 供应链管理是RFID技术的主要应用领域之一,但是目前该领域对基于RFID技术的安全机制还没有较 深入的研究.供应链环境的特定安全需求决定了无法直接应用已有的各种RFID安全机制.该文定义了供应链环境 下RFID通信协议必须满足的安全需求,提出了一个可以满足这些安全需求的通用可组合安全模型,设计了一个可 以实现该模型的轻量级RFID通信协议.协议的设计和证明采用模块化的方法,并可以保证在复杂网络环境下的安 全运行.文章进一步对不可链接性进行了形式化定义,并根据安全属性对典型的RFID通信协议进行

  3. 所属分类：网络基础

    • 发布日期：2009-06-20
    • 文件大小：923kb
    • 提供者：paobigpao

  1. 基于进程演算的安全协议形式化研究

  2. 国内外形式化研究安全协议主要有基于知识与信念推理的模态逻辑方法，基于定理证明的方法和基于进程演算的方法三种。其中，进程演算对于协议的描述几乎接近协议的本身含义，可以很精确地刻划协议的运行过程。使用进程演算对安全协议分析和验证时，协议的每一个主体都被建模为一个单独的进程，这些子进程并发运行，并使用进程之间的共享通道进行同步通信，这样得到的并发系统将作为安全协议的基本模型。

  3. 所属分类：网络攻防

    • 发布日期：2009-11-19
    • 文件大小：523kb
    • 提供者：oohurbert

  1. 安全协议形式化分析方法综述之一基于推理结构性方法

  2. 安全协议形式化分析方法综述之一，基于推理结构性方法，pdf文件

  3. 所属分类：专业指导

    • 发布日期：2010-01-04
    • 文件大小：547kb
    • 提供者：ivylove

  1. 安全协议形式化分析方法综述之二——基于攻击结构性方法

  2. 安全协议形式化分析方法综述之二——基于攻击结构性方法，pdf文件

  3. 所属分类：专业指导

    • 发布日期：2010-01-04
    • 文件大小：1mb
    • 提供者：ivylove

  1. 基于进程代数安全协议验证的研究综述

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

  3. 所属分类：网络攻防

  1. 基于离散ID序列的RFID标签认证协议

  2. 针对RFID 的安全问题，提出一种基于离散ID 序列的RFID 标签认证协议——DSTAP，在此基础上，将DSTAP 协议与其他认证协议进行比较分析，采用BAN 逻辑对所提出的协议进行形式化分析。分析结果表明，DSTAP 协议达到指定的安全设计要求，同时可减少计算量。

  3. 所属分类：专业指导

    • 发布日期：2010-06-28
    • 文件大小：1mb
    • 提供者：heluka

  1. 安全协议逻辑分析论文

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

  3. 所属分类：专业指导

    • 发布日期：2010-07-19
    • 文件大小：366kb
    • 提供者：Night_Fate

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

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

  3. 所属分类：专业指导

    • 发布日期：2008-03-09
    • 文件大小：250kb
    • 提供者：morre

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

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

  3. 所属分类：其它

    • 发布日期：2008-03-09
    • 文件大小：389kb
    • 提供者：morre

  1. 我的毕业论文

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

  3. 所属分类：专业指导

    • 发布日期：2008-03-27
    • 文件大小：1mb
    • 提供者：zychm

  1. 安全协议形式化的课程教案

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

  3. 所属分类：网络基础

    • 发布日期：2011-03-03
    • 文件大小：4mb
    • 提供者：hunter200407

  1. 安全协议形式化分析理论与方法研究综述

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

  3. 所属分类：网络安全

    • 发布日期：2011-11-20
    • 文件大小：1mb
    • 提供者：alastar

  1. 协议形式化相关论文

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

  3. 所属分类：网络安全

    • 发布日期：2013-03-13
    • 文件大小：29mb
    • 提供者：kasen333

  1. 网络协议的形式化分析与设计

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

  3. 所属分类：讲义

    • 发布日期：2015-07-22
    • 文件大小：59mb
    • 提供者：jiangdmdr

  1. 安全协议形式化分析

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

  3. 所属分类：网络基础

    • 发布日期：2016-09-04
    • 文件大小：18mb
    • 提供者：frank_20080215

  1. 安全协议形式化研究与实现

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

  3. 所属分类：专业指导

    • 发布日期：2008-12-11
    • 文件大小：27kb
    • 提供者：sammy1981_09

  1. 网络协议与分析测试课件

  2. 内含网络协议 形式化分析 测试技术 协议工程等方面的课件内容

  3. 所属分类：网络基础

    • 发布日期：2008-12-27
    • 文件大小：4mb
    • 提供者：e21tian

  1. Modbus协议一致性测试的形式化方法

  2. 首先提出了一致性测试的形式化方法的总体架构;然后分析了Mosbus协议形式化方法,给出了Modbus的FSM模型;接着分析了Modbus形式化测试生成方法,并采用U方法生成测试序列;最后设计并实现了一致性测试系统,在实际应用中证明了该方法的有效性和实用性。

  3. 所属分类：其它

    • 发布日期：2020-07-05
    • 文件大小：121kb
    • 提供者：weixin_38651929

  1. 基于广义随机Petri网的卫星通信系统网络控制协议形式化模型

  2. 基于广义随机Petri网的卫星通信系统网络控制协议形式化模型

  3. 所属分类：其它

« 12 3 4 5 6 »