位置：成果数据库 > 会议 > 会议详情页
A Novel Derivation Framework For Definite Logic Program
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 成果类型：会议
  • 相关项目：含代数运算和时间特征的安全协议分析与验证
同会议论文项目
含代数运算和时间特征的安全协议分析与验证
期刊论文 25 会议论文 9
同项目会议论文
An abstract and refinement framework for verifying security protocols based on logic programming.
Modeling and Verifying Time Sensitive Security Protocols with Constraints
Constraint Abstract in Verification of Security Protocol
Constraints Solution for Time Sensitive Security Protocols
Local Abstract Verification and Refinement of Security Protocols
Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic
SPVT-II: An Efficient Security protocol Verifier based on logic programming
A novel fairness property of electronic commerce protocols and its game based formalization