一种安全协议分析算法研究
研究分析了Athena 自动协议形式化分析算法的原理。该算法能够分析协议的各种安全属性，它基于扩展了的串空间模型，利用了消息间的因果关系，并且结合了定理证明和模型检测方法，能有效地分析安全协议...
安全研究技术资料
📦 资源总数：10000
💻 源代码：10000
🔥 安全研究热门资料
查看全部10000个资源 »移动代理安全信任模型的研究
随着移动代理的不断发展，移动代理系统安全已经成为移动代理进一步发展的主要制约之一，它包括移动代理的安全和主机平台的安全两个方面。其中移动代理的安全一直以来都是移动代理中最复杂的、最难以解决的问...
IP安全内核及其DSP实现的研究
· 摘要： 在研究、综合分析国内外一些安全产品及其相关先进、成熟技术的基础上,提出并建立了一个具有自己特色的安全网关解决方案:将IPSec协议与Linux操作系统网络协议栈IP层相集成,同时,将重要加密算法和认证算法固化到专用DSP芯片中.系统实践结果证明,在系统的通用性、安全...
用于电气设备安全的功率计研究
为了解决电机设备发生故障引起事故的问题，文中提出了一种基于流水线结构微处理器的数据采集系统应用控制方案。利用自带DSP内核的高精度三相电能专用芯片，实现了对医用设备工作状况进行在线实时监测。通过对供电电源，信号采集通道，以及信号输出通道进行必要的抗干扰设计，采取CAN总线通讯，光电隔离，短路保护以及...
移动通信网络安全问题研究
安全问题是移动通信中的重要问题。3G 的安全技术是在全球移动通信系统（GSM）的安全基础上建立起来的，它克服了一些GSM 中的安全问题，也增加了新的安全功能。从整体的角度对3G 安全体系进行分析，对未来移动通信的发展具有一定的指导意义。文章在简要介绍了移动通信的安全技术发展后，详细给出了3G 安全体...
💻 安全研究源代码
查看更多 »📂 安全研究资料分类