📚 安全验证技术资料

📦 资源总数：6111
💻 源代码：7813

🔥 安全验证热门资料

查看全部6111个资源 »

提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发...

📅 👤 jeffery
Strand 空间模型 安全协议 新思

24Cxx I2C EEPROM字节读写驱动程序，芯片A0-A1-A2要接GND(24C65接VCC,具体看DataSheet)。 现缺页写、页读，和CRC校验程序。以下程序经过50台验证，批量的效果有待考察。 为了安全起见，程序中很多NOP是冗余的，希望读者能进一步精简，但必须经过验证。 A...

📅 👤 haoxiyizhong
EEPROM Cxx I2C 24

：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同 时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协 议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Stran...

📅 👤 zhangjinzj
协议 安全协议 密码

💻 安全验证源代码

查看更多 »
💻
💻
ssh使用指南 （转）.txt
💻
unix系统管理－系统安全－防火墙.txt
💻
危害公共安全罪.txt
💻
unix系统管理－系统安全－被攻击之后怎么办.txt
💻
安全模式.txt
📂 安全验证资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 6111 个资源