📚 数字下技术资料

📦 资源总数：10000
💻 源代码：10000

🔥 数字下热门资料

查看全部10000个资源 »

研究在密码协议仅使用数字签名原语时，主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法，分别引入符号模型和计算模型中的协议运行状态集合，通过反证法证明符号模型中...

⬇️ 2 次下载
攻击

💻 数字下源代码

查看更多 »
💻
数字
💻
数字
💻
下.bmp
💻
下.gif
💻
下.bmp
💻
下.gif
📂 数字下资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 10000 个资源