• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"主题词=基于游戏的证明方法"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
基于进程演算的公钥密码体制安全性自动化证明系统
收藏
分享
引用
《信息工程大学学报》2012年 第5期13卷 513-520页
作者：光焱 顾纯祥 黄莉 赵双峰信息工程大学网络空间安全学院河南郑州450001 信息工程大学科研部河南郑州450001 沈阳军区指挥自动化工作站辽宁沈阳110000 
可证安全是一种通过严格证明确保密码体制安全性的形式化方法,但由于其证明结论严重依赖于证明者个人的经验和技巧,这一方法本身的可靠性受到了质疑。文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进...
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部