找到约 10,000 条结果
www.eeworm.com
SATA协议分析及其FPGA实现.rar
本论文对协议进行了详细的分析，建立了SATA IP CORE的层次结构，将设备端SATA IP CORE划分成应用层、传输层、链路层和物理层；介绍了实现该IPCORE所选择的开发工具、开发语言和所选用的芯片
www.eeworm.com
基于SoC 的IPSec 协议实现技术
简要介绍IPSec 体系结构和SoC 设计技术；在分析IPSec 协议的基础上，给出基于SoC 的IPSec 的芯片结构及其实现技术。
www.eeworm.com
基于GSPM的安全协议检验工具
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议，并引进线性时序逻辑刻画了安全协议的性质，用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。
www.eeworm.com
ARP协议攻击及其解决方案
由于ARP协议的设计缺陷，使得ARP协议在使用的过程中存在着盗用IP地址和ARP
欺骗等严重的安全问题。本文分析ARP攻击的基本原理，并提出相关的ARP攻击的解决方案。
关键词：地址解析协
欺骗等严重的安全问题。本文分析ARP攻击的基本原理，并提出相关的ARP攻击的解决方案。
关键词：地址解析协
www.eeworm.com
基于Hash函数的RFID认证协议
针对射频识别系统存在用户安全、隐私等问题，讨论现有协议的优缺点，提出一种新的基于密码学的安全认证协议。该协议利用Hash函数的单向性特点和对称密钥方法，较好地解决了RFID的安全隐患问题。实验分析表明
www.eeworm.com
VxWorks网络协议栈的MUX接口
嵌入式系统网络协议栈的灵活性在应用上是一个重要指标。介绍嵌入式实时操作系统
VxWorks网络协议栈的 MUX(Mutiplexer)接口及其使用方法。
VxWorks网络协议栈的 MUX(Mutiplexer)接口及其使用方法。
www.eeworm.com
基于消息匹配的认证协议分析
为了有效地分析和验证认证协议的安全性，找出协议的漏洞，介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模，吸取模型检测的思想，分析攻击者可能扮演的角色以及协议的执行规则，在此基础上逐步给消
www.eeworm.com
GIOP协议和CORBA的性能优化
CORBA 作为对象管理组织的分布式对象中间件应用标准，使用GIOP 协议使跨平台的客
户/服务器对象通信成为可能。但是这种高度兼容性降低了基于CORBA 的分布式应用程序的性能。本文针对GIO
户/服务器对象通信成为可能。但是这种高度兼容性降低了基于CORBA 的分布式应用程序的性能。本文针对GIO