📚 安全单元技术资料

📦 资源总数：8560

💻 源代码：9610

🔥 安全单元热门资料

查看全部8560个资源 »

研究分析了Athena 自动协议形式化分析算法的原理。该算法能够分析协议的各种安全属性，它基于扩展了的串空间模型，利用了消息间的因果关系，并且结合了定理证明和模型检测方法，能有效地分析安全协议...

⬇️ 8 次下载

安全协议分析算法研究

论文研究了引入中国剩余定理（CRT）的RSA 算法，分析了其面临的主要安全威胁情形。针对具体的实现算法，分别给出了瞬时出错攻击、长期出错攻击和随机出错攻击方法与过程，发现大合数N 会被分解。并提出了提...

⬇️ 2 次下载

CRT-RSA 算法安全性分析

安全生产教育培训学员档案记录表强生润肤霜刚vyyuyth个...

⬇️ 4 次下载

安全生产培训教育

本文主要讲述的是usb安全匙功能扩展与优化设计。...

⬇️ 8 次下载

安全功能

将基于角色的访问控制模型RBAC96应用到工作流中，设计一个基于角色的安全工作流模型，给出该模型的形式化描述和图形表示。定义DcAC, EP, EPA, IP, IPA的概念，用于管理模型中的授权。与...

👤 XuVshu ⬇️ 5 次下载

角色

📂 安全单元资料分类