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

搜索资源列表

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  1. Stanford 大学网络安全协议分析讲义

  2. Stanford 大学网络安全协议分析讲义

  3. 所属分类：网络基础

    • 发布日期：2007-12-02
    • 文件大小：338kb
    • 提供者：QshimaQ

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：网络基础

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

  1. 安全协议论文（SSL分析）

  2. 这是安全协议论文的论文，主要分析的是SSL协议，大概10000字符。

  3. 所属分类：网络安全

    • 发布日期：2011-07-15
    • 文件大小：72kb
    • 提供者：freesonhp

  1. 基于协议分析检测网络入侵的设计与实现

  2. 基于协议分析检测网络入侵的设计与实现，《网络安全与技术》期刊文章

  3. 所属分类：网络监控

    • 发布日期：2014-03-09
    • 文件大小：268kb
    • 提供者：faalone

  1. 模型检测 形式化分析 安全协议 相关论文

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

  3. 所属分类：专业指导

    • 发布日期：2008-10-28
    • 文件大小：26mb
    • 提供者：wirror800

  1. 安全协议分析的形式化理论与方法

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

  3. 所属分类：专业指导

    • 发布日期：2008-11-08
    • 文件大小：4mb
    • 提供者：henryjz

  1. 安全协议_信息安全保障的灵魂_安全协议分析研究现状与发展趋势

  2. 安全协议_信息安全保障的灵魂_安全协议分析研究现状与发展趋势

  3. 所属分类：网络安全

    • 发布日期：2016-05-13
    • 文件大小：4mb
    • 提供者：gzliu07

  1. 安全协议形式化分析

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

  3. 所属分类：网络基础

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

  1. 中山大学WEB安全FTP协议分析实验

  2. 中山大学 WEB安全课程 的 实验4-FTP协议分析实验 【实验目的】 分析 FTP 协议的安全性

  3. 所属分类：讲义

    • 发布日期：2018-01-16
    • 文件大小：635kb
    • 提供者：a657997301

  1. SSL安全协议研究，云大软院

  2. 【摘要】随着电子商务的发展,使得交易安全问题已经成为用户关注的焦点。SSL为在线交易提供一个安全可靠的网络环境,使得它被广泛使用。SSL安全协议是国际上通行的银行卡密码校验技术和标准之一，又称为“安全套接层”（Secure Sockets Layer）协议，主要用于提高应用程序之间的数据安全系数。因此,如何提高SSL协议对中间人攻击的免疫能力、保证交易中敏感信息的安全已经成为研究信息安全问题的焦点。本文从SSL安全协议的实现原理出发，并深入分析其实现的技术细节特点，以及SSL安全协议在目前科技

  3. 所属分类：其它

    • 发布日期：2018-03-04
    • 文件大小：996kb
    • 提供者：u012997679

  1. 一种双层/双向认证的随机Hash锁RFID安全协议

  2. 基于Hash锁的RFID安全协议以其低成本优势得到了普遍应用，但其安全性能尚不完善。在分析已有Hash锁安全协议的执行过程及优缺点的基础上，提出了一种将双层认证与双向认证相结合的随机Hash锁安全协议，分析了协议的基本思想，描述了协议的执行过程，对协议的性能分析表明，该协议符合低成本、高效率、高安全的RFID实用性要求。

  3. 所属分类：其它

    • 发布日期：2020-07-28
    • 文件大小：104kb
    • 提供者：weixin_38732425

  1. 基于ID变化的RFID安全协议

  2. 提出了一种基于ID变化的RFID安全协议，由于使用单向Hash函数，从而使数据存储机制很好地解决了阅读器和标签数据不同步的问题，有效地防止了非法读取、位置跟踪、窃听、伪装哄骗、重放等攻击。分析表明，该方法具有前向安全，效率高，安全性好等特点，适用于标签数目较多的情况。

  3. 所属分类：其它

    • 发布日期：2020-10-26
    • 文件大小：225kb
    • 提供者：weixin_38548717

  1. EldoS最新软件包可隐藏安全协议细节

  2. EldoS公司的SecureBlackbox 4.0是一个含有6个组件的软件包，可用于网络安全中隐藏低级别安全协议和算法的细节。      该软件可保证标准互联网协议(如FTP、HTTP、SMTP、POP3和NNTP)的安全性。开发人员可增加PKI基础功能，如X.509证书、证书存储、数据签名和编码及应用证书等。同时可选采用PGP密匙的PGP密匙管理和数据签名/编码功能。      SecureBlackbox 4.0可用于实现SSH、SSL2、SSL3、TLS1及SFTP等安全协议，也可用于客

  3. 所属分类：其它

    • 发布日期：2020-12-02
    • 文件大小：38kb
    • 提供者：weixin_38605801

  1. 基于SNMP和AHP的网络设备安全态势分析系统

  2. 为了解决日益严峻的网络设备安全形势,设计并实现了一种网络设备安全态势分析的综合分析方法和分析系统。首先,引入了运筹学中经典的决策方法—AHP,并且提出了一种网络设备安全态势分析的综合分析方法;然后,设计了一个网络设备安全态势分析的模型与框架;最后,基于SNMP协议,实现了该分析系统。实验结果表明该系统能够实时、有效地分析网络设备的安全态势,并且对异常的安全态势进行实时地报警,从而达到了对网络设备的实时监控和管理。

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：515kb
    • 提供者：weixin_38693419

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

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

  3. 所属分类：其它

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

  1. HTTPS与HTTP2协议分析

  2. HTTPS作为安全协议而诞生，那么就不得不面对以下两大安全问题：身份验证确保通信双方身份的真实性。直白一些，A希望与B通信，A如何确认B的身份不是由C伪造的。（由C伪造B的身份与A通信，称为中间人攻击）通信加密通信的机密性、完整性依赖于算法与密钥，通信双方是如何选择算法与密钥的。能同时解决以上两个问题，就能确保真实有效的通信双方采取有效的算法与密钥进行通信，便完成了协议安全的初衷。在介绍HTTPS协议如何解决两大安全问题前，我们首先了解几个概念。数字证书数字证书是互联网通信中标识双方身份信息的数

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：474kb
    • 提供者：weixin_38656741

  1. 基于椭圆曲线密码的RFID安全协议

  2. 为了能够解决RFID在用户安全、隐私等问题方面的安全隐患,提出了一种基于椭圆曲线密码的RFID安全协议。在椭圆曲线离散对数问题难解的基础上,与其它公钥密码体制相比,该协议的安全性能更高、密码长度更短且计算量更低。该协议运用基于椭圆曲线的DH密钥交换协议ECDH(ellipticcurveDiffie-Hellman)与基于嵌入明文的加密方案,实现了保护RFID标签与读写器之间的数据交换;同时,通过对该协议的安全性分析以及与其它采用对称密钥体系的RFID协议的比较表明,该协议能够满足RFID系统的

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：106kb
    • 提供者：weixin_38713039
« 12 3 4 5 6 7 8 9 10 ... 50 »