您当前的位置：
首页 >
文章列表页 >
基于Hoare逻辑的密码软件安全性形式化验证方法
更新时间：2025-05-26
上一篇|下一篇

    • 基于Hoare逻辑的密码软件安全性形式化验证方法

    • Formal verification method for cryptographic software security based on Hoare logic

    • “在密码软件安全性验证领域，专家提出了基于Hoare逻辑的形式化验证方法，有效提高了验证效率和准确率。”
    • 肖堃
    • 吉林大学学报（工学版） 2019年49卷第4期 页码：1301-1306
    • 作者机构：

      电子科技大学 计算机科学与工程学院，成都 611731

    • 作者简介：

      肖堃(1979-)，男，高级实验师.研究方向：计算机系统结构，信息安全.E-mail:xiaoxuanbai@163.com

    • 基金信息：
      国家科技重大专项项目(2014ZX03002001)

    • DOI： 10.13229/j.cnki.jdxbgxb20180418     

      中图分类号：

    移动端阅览

  •  
  •  

  • AI导读

  • HTML全文

  • 图( 5 ) 表( 1 )

  • 参考文献

  • 出版信息

  • 数据统计

105

浏览量

13

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
  • BibTeX下载
  • Endnote下载
  • RefMan 下载
  • NoteExpress下载
  • NoteFirst下载

相关文章

寒区路基水⁃热耦合理论模型及变形规律
基于真⁃伪三连体神经网络的传感器本体匹配方法
考虑行波效应的在役连续梁桥抗震性能提升
不同天气下快速路交织区交通冲突机理
超大型立式浮顶储罐液⁃固耦合地震响应数值模拟分析

相关作者

暂无数据

相关机构

暂无数据