位置：成果数据库 > 会议 > 会议详情页
SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：4th International Conference on Information Security and Cryptology (Inscript 2008)
  • 成果类型：会议
  • 会场：Beijing, PEOPLES R CHINA
  • 相关项目：大规模软件基于抽象解释理论的时序性质验证及支持工具
作者： Zhou, Ti|Li, ZhouJun|Li, MengJun|
同会议论文项目
大规模软件基于抽象解释理论的时序性质验证及支持工具
期刊论文 9 会议论文 6
同项目会议论文
基于差分方程和最优化问题的只含赋值语句循环的自动验证
基于不变式构造的程序自动验证
构造循环不变式的一种迭代方法
基于site-safe表达式简化缓冲区溢出检测
Constructing Program Invariants via Solving QBF