📚 数字下技术资料

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

🔥 数字下热门资料

查看全部10000个资源 »

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

⬇️ 2 次下载

💻 数字下源代码

查看更多 »
📂 数字下资料分类