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

搜索资源列表

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

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

  3. 所属分类：网络攻防

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

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

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

  3. 所属分类：专业指导

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

  1. Fuzzing_模糊测试--强制性安全漏洞发掘

  2. 目录 作者序 译者序 前 言 第一部分 第1章 安全漏洞发掘方法学 1.1 白盒测试 1.1.1 源代码评审 1.1.2 工具和自动化 1.1.3 优点和缺点 1.2 黑盒测试 1.2.1 人工测试 1.2.2 自动测试或模糊测试 1.2.3 优点和缺点 1.3 灰盒测试 1.3.1 二进制审核 1.3.2 自动化的二进制审核 1.3.3 优点和缺点 1.4 小结 1.5 脚注 第2章 什么是模糊测试 2.1 模糊测试的定义 2.2 模糊测试的历史 2.3 模糊测试阶段 2.4 模糊测试的局限

  3. 所属分类：Web开发

    • 发布日期：2010-07-05
    • 文件大小：837632
    • 提供者：jojo0103

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

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

  3. 所属分类：专业指导

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

  1. 面向对象分析与设计(UML.2.0版)

  2. 目 录 第1章 入门 1. 1.1 背景 1 1.2 编程简史 1 1.3 方法学 2 1.4 关于本书 2 1.4.1 内容概述 3 1.4.2 案例分析 3 1.4.3 导航 3 第ⅰ部分 设 置 场 景 第2章 对象的概念 7 2.1 引言 7 2.2 什么是对象 8 2.3 相同还是相等 10 2.4 描述对象 12 2.5 封装 13 2.6 关联和聚合 13 2.7 图和树 15 2.8 链接和可导航性 16 2.9 消息 17 .2.10 启动操作 19 2.11 协作示例 19

  3. 所属分类：专业指导

    • 发布日期：2011-12-09
    • 文件大小：29360128
    • 提供者：a64635729

  1. SQLServer安全及性能优化

  2. SQLServer安全及性能优化 修补漏洞 安装程序补丁修补漏洞 随时关注微软官方网站补丁升级 关闭不必要的端口 关闭联必要的服务 数据库引擎 SQL Server Analysis Services SQL Server Reporting Services SQL Server Integration Services SQL Server 代理 SQL Full-text Filter Daemon launcher SQL Server Browser 同时开启所有服务系统性能会变得很

  3. 所属分类：SQLServer

    • 发布日期：2012-03-07
    • 文件大小：706560
    • 提供者：jiangtongcn

  1. soap 协议工具

  2. gSOAP编译工具提供了一个SOAP/XML 关于C/C++ 语言的实现，从而让C/C++语言开发web服务或客户端程序的工作变得轻松了很多。绝大多数的C++web服务工具包提供一组API函数类库来处理特定的SOAP数据结构，这样就使得用户必须改变程序结构来适应相关的类库。与之相反，gSOAP利用编译器技术提供了一组透明化的SOAP API，并将与开发无关的SOAP实现细节相关的内容对用户隐藏起来。 ONVIF规范中设备管理和控制部分所定义的接口均以Web Services的形式提供。ONVI

  3. 所属分类：C++

    • 发布日期：2012-11-12
    • 文件大小：10485760
    • 提供者：hulai0

  1. 蓝牙协议及其源代码分析.pdf

  2. 目录 1. 第一章蓝牙概述和金瓯蓝牙开发平台介绍......... PAGEREF _TOC120615555 \H 12 1.1 蓝牙概述................. PAGEREF _TOC120615556 \H 12 1.1.1 蓝牙技术的诞生与发展................. PAGEREF _Toc120615557 \h 12 1.1.2 蓝牙技术介绍................. PAGEREF _Toc120615558 \h 12 1.1.3 蓝牙协议体系结

  3. 所属分类：C#

    • 发布日期：2013-03-01
    • 文件大小：8388608
    • 提供者：jasonzhang11

  1. 蓝牙协议及其源代码分析.rar

  2. 目录 1. 第一章蓝牙概述和金瓯蓝牙开发平台介绍......... PAGEREF _TOC120615555 \H 12 1.1 蓝牙概述................. PAGEREF _TOC120615556 \H 12 1.1.1 蓝牙技术的诞生与发展................. PAGEREF _Toc120615557 \h 12 1.1.2 蓝牙技术介绍................. PAGEREF _Toc120615558 \h 12 1.1.3 蓝牙协议体系结

  3. 所属分类：3G/移动开发

    • 发布日期：2013-03-01
    • 文件大小：7340032
    • 提供者：jasonzhang11

  1. 网络安全思维导图

  2. CTF资料 CTF攻防部署.png CTF题目工具资源.png Web安全 JavaWeb简介.png Maltego使用导图.jpg Nmap.png PHP源码审计.png Python系统审计.jpg WEB2HACK.jpg Web安全.png Web安全技术点.jpg Web服务器入侵防御.jpg Web攻击及防御技术.png XSS利用架构图.jpg XSS攻击点汇总.png nmap.jpg pentest_method.jpg powershell语法.png web 渗透.j

  3. 所属分类：网络安全

    • 发布日期：2018-01-09
    • 文件大小：49283072
    • 提供者：lzmnxtel

  1. 改进的无后台数据库RFID认证协议

  2. 针对采用接入表方法的无后台数据库的无线射频识别(Radio Frequency Identification,RFID)认证协议存在的安全威胁和效率不足,提出了一种改进的无后台数据库RFID双向认证协议。协议基于Hash函数,通过伪随机数实现随机检索标识的动态更新和同步,并结合标签静态密钥降低阅读器和标签的计算复杂度以及标签的存储容量。BAN逻辑形式化安全证明、安全性能分析、效率分析表明,协议可以弥补同类RFID认证协议存在的机密性、拒绝服务以及去同步化等安全威胁,阅读器具有常数级的计算复杂度,

  3. 所属分类：其它

    • 发布日期：2020-05-05
    • 文件大小：222208
    • 提供者：weixin_38735570

  1. 多层次安全机制保护你的VoIP网络安全

  2. 要建立一个安全的VoIP网络，首要的步骤就是将其从你的数据网络中独立出来。虽然将所有网络集成到一起，可能在管理的简易性及协同工作方面更加理想，但并不安全。最好的选择是使用VLAN交换机将数据网络和语音网络从逻辑上分离开来，这意味着对数据网络进行的攻击将不会影响到你的VoIP系统。对一个IP网络来说，边界保护通常意味着使用防火墙，但是一个老旧的防火墙是不适合VoIP网络的。你需要一个特别设计的防火墙，它得能识别和分析VoIP协议，能对VoIP的数据包进行深度检查，并能分析VoIP的有效载荷以便发现

  3. 所属分类：其它

    • 发布日期：2020-03-04
    • 文件大小：29696
    • 提供者：weixin_38619967

  1. TCPDUMP入门 Linux下的网络协议分析工具

  2. TcpDump可以将网络中传送的数据包的“头”完全截获下来提供分析。它支持针对网络层、协议、主机、网络或端口的过滤，并提供and、or、not等逻辑语句来帮助你去掉无用的信息。tcpdump提供了源代码，公开了接口，因此具备很强的可扩展性，对于网络维护和 入侵者都是非常有用的工具。tcpdump存在于基本的FreeBSD系统中，由于它需要将网络界面设置为混杂模式，普通用户不能正常执行，但具备root权限的用户可以直接执行它来获取网络上的信息。因此系统中存在网络分析工具主要不是对本机安全的威胁，而

  3. 所属分类：其它

    • 发布日期：2020-03-04
    • 文件大小：40960
    • 提供者：weixin_38741996

  1. BLE4.0低功耗蓝牙协议总结.pdf

  2. BLE4.0低功耗蓝牙协议总结，是蓝牙4.0的总结性文档，内容涵盖蓝牙开发的方方面面！ 文档是一次交流会时专家演讲的PPT，AI方面应用的演讲！版权所有 27,24、定向可连接广播事件(ADVD| RECT IND)44 27.25、非定向不可连接事件( ADV NONCONN|ND) 2726、可发现不可连事件(ADVD| SCOVER|ND/ ADV SCAN ND)….46 273、扫描态 274、发起态 27.5、软件设计广播状态流程图 28、连接状态 48 281、连接事件 49 28

  3. 所属分类：嵌入式

    • 发布日期：2019-07-28
    • 文件大小：10485760
    • 提供者：helaisun

  1. 智能设备安全分析手册.pdf

  2. 绿盟智能设备安全分析手册内含硬件安全、固件安全、通讯协议安全、终端软件app安全、WEB安全、服务安全、业务逻辑安全

  3. 所属分类：网络安全

    • 发布日期：2020-06-08
    • 文件大小：6291456
    • 提供者：Homewm

  1. Kailar逻辑的改进及应用

  2. 综合Kailar逻辑和SVO逻辑两种协议分析方法的优点，借助SVO逻辑的思想对Kailar逻辑进行了改进，使其更好地应用于不可否认协议的可追究性分析和设计。同时，将改进后的Kailar逻辑应用在类NG协议的分析中，分析结果证明了该协议可追究方面的安全性质。

  3. 所属分类：其它

    • 发布日期：2020-10-19
    • 文件大小：218112
    • 提供者：weixin_38535848

  1. des加密解密源码 C# key值问题分析

  2. 公司协议安全需求、需要对传输内容做des、md5加密。 因为是新人、刚交给我这个任务的时候有点眩晕。就开始在网上找各种des加密的内容。因为不懂以为需要把原理也搞明白，最后误了时间、把自己也搞糊涂了。当然，逻辑能力强、有兴趣的朋友可以试着去搞搞。先贴加密、解密的源码： 代码如下:///        /// 加密数据       ///        ///        ///        /// </retu

  3. 所属分类：其它

    • 发布日期：2020-12-31
    • 文件大小：56320
    • 提供者：weixin_38664159

  1. RFID系统中标签的安全组所有权传输协议

  2. 提出了一种用于RFID系统中标签的安全组所有权转移协议，以同时转移多个标签的所有权。老所有者执行身份验证并更新一组标签的秘密。之后，它将以安全方式将更新的机密发送给新所有者。新所有者还使用标签实施身份验证和更新过程。通过使用GNY逻辑分析了该协议。它提供标签和所有者之间的相互认证。它可以抵抗重放攻击，中间人攻击和不同步攻击。它还保护前向安全性，后向安全性和用户位置隐私。我们的协议已实现并仿真。在所有权转移过程中，我们通过标签获得了包括时间成本在内的实验数据。可以推断，与其他协议相比，我们的协议在

  3. 所属分类：其它

    • 发布日期：2021-03-20
    • 文件大小：924672
    • 提供者：weixin_38505158

  1. 具有防伪功能的RFID标签所有权转移安全协议

  2. 针对供应链中射频识别标签随商品不断流动过程涉及的隐私保护和防伪认证等问题，利用椭圆曲线离散对数问题和传递加密的方法，设计一种兼有防伪功能的所有权转移安全协议。从标签和所有者的巧妙存储入手，贯穿标签鉴权、所有权转移、防伪认证等环节，进一步利用 ＧＮＹ 逻辑证明协议的正确 性。安全性分析结果表明了该协议能满足所有权转移的安全需求，具有商品防伪认证的辅助功能与 Ｃｈｅｎｇ等方案相比，标签端的计算量明显减少，效率更高。

  3. 所属分类：其它

    • 发布日期：2021-03-03
    • 文件大小：382976
    • 提供者：weixin_38668776

  1. Otway-Rees协议改进及形式化证明

  2. 选取认证密钥分配协议Otway-Rees协议作为研究对象，利用协议组合逻辑（PCL）作为协议证明工具，对安全协议形式化分析及证明进行了研究。首先给出了 Otway-Rees协议常见的攻击形式，分析了存在的缺陷，提出了改进方案（AOR协议）；然后，为了更好地形式化描述AOR协议，对传统的PCL进行一定的扩展；紧接着，用扩展后的PCL对改进的协议中各个实体的行为和协议的安全属性进行形式化描述，将改进后的协议进行模块化划分，并利用PCL进行组合证明；最后，得出改进后的AOR协议具有密钥保密属性。

  3. 所属分类：其它

    • 发布日期：2021-01-15
    • 文件大小：669696
    • 提供者：weixin_38674050
« 12 3 4 5 6 »