高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

可证明安全性自动化证明方法研究

顾纯祥 祝跃飞 光焱

顾纯祥, 祝跃飞, 光焱. 可证明安全性自动化证明方法研究[J]. 电子与信息学报, 2009, 31(12): 3001-3005. doi: 10.3724/SP.J.1146.2008.01489
引用本文: 顾纯祥, 祝跃飞, 光焱. 可证明安全性自动化证明方法研究[J]. 电子与信息学报, 2009, 31(12): 3001-3005. doi: 10.3724/SP.J.1146.2008.01489
Gu Chun-xiang, Zhu Yue-fei, Guang Yan. Researches on Automatic Approach of Provable Security[J]. Journal of Electronics and Information Technology, 2009, 31(12): 3001-3005. doi: 10.3724/SP.J.1146.2008.01489
Citation: Gu Chun-xiang, Zhu Yue-fei, Guang Yan. Researches on Automatic Approach of Provable Security[J]. Journal of Electronics and Information Technology, 2009, 31(12): 3001-3005. doi: 10.3724/SP.J.1146.2008.01489

可证明安全性自动化证明方法研究

doi: 10.3724/SP.J.1146.2008.01489
基金项目: 

国家863计划项目(2007AA01Z471)和河南省基础与前沿技术研究基金(072300410260)资助课题

Researches on Automatic Approach of Provable Security

  • 计量
    • 文章访问数:  2342
    • HTML全文浏览量:  12
    • PDF下载量:  833
    • 被引次数: 0
    出版历程
    • 收稿日期:  2008-11-14
    • 修回日期:  2009-09-21
    • 刊出日期:  2009-12-19

    目录

      /

      返回文章
      返回

      官方微信,欢迎关注