用Synplify设计安全可靠的状态机
One of the strengths of Synplify is the Finite State Machine compiler. This is a powerfulfeature
Cookies安全技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
One of the strengths of Synplify is the Finite State Machine compiler. This is a powerfulfeature
基于公共密钥技术的SSL 协议已经成为Internet 上广泛应用的安全通信标准,源码开放的OpenSSL是对SSL 协议的完整实现。介绍了OpenSSL 在电子商务安全中的应用。
基于MPPR算法,提出一个求解ECDLP问题专用计算系统的系统结构,分析该系统的组成、实现手段、计算过程以及工程上的实现难度,给出符合该结构的专用计算系统所具备求解ECDLP问题的计算能力公式和解题时
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。
与传统的有线网络相比,移动ad-hoc 网络有很多特性使得它在各个层上存在安全问题而容易受到攻击。移动Ad-hoc 网络不同于有线网络的特性,对于保证其安全性提出了新的挑战。本文在探讨移动Ad
文章指出了PKI(Public Key Infrastructure)安全的关键是CA(Certificate Authority)的私钥保护。由于ECC(EllipticCurve Cryptogr
资料->【B】电子技术->【B5】通信技术->【1】通信协议->【ZigBee】->ZigBee接入EPA网络的安全策略.pdf
分析了家庭安全系统相关技术现状,提出了一种基于PSTN,以C8051F310单片机和双音多频收发芯片MT8880以及nNF24L01无线收发芯片为核心了家庭安全系统。