位置：成果数据库 > 期刊 > 期刊详情页
基于Horn 逻辑扩展模型的时间敏感安全协议验证
  • 期刊名称：周倜,李梦君, 李舟军 ,陈火旺, 基于Horn 逻辑扩展模型的时间敏感安全协议验证, 《计算机研究
  • 时间：0
  • 相关项目：含代数运算和时间特征的安全协议分析与验证
同期刊论文项目
含代数运算和时间特征的安全协议分析与验证
期刊论文 25 会议论文 9
同项目期刊论文
安全协议逻辑程序不停机性快速预测的动态方法
基于Horn 逻辑扩展模型的安全协议反例的自动构造
用描述逻辑进行语义Web服务组合
公钥Kerberos 协议的认证服务过程的建模与验证.
使用组合协议逻辑PCL 验证Amended Needham-Schroeder协议
ACUN理论一般合一化问题的合一化算法
安全协议的进程代数规约到逻辑程序的自动转换
基于抽象解释理论的程序验证技术
基于动态博弈描述的电子商务协议公平性
安全协议的扩展Horn逻辑模型及其验证方法
基于面向服务架构的网上支付安全体系研究与实现
基于双难题的环Z_n上圆锥曲线的数字签名
安全协议分析中参与者个数上确界的论证
基于Horn逻辑扩展模型的安全协议反例的自动构造
一种基于线索化二叉排序树的数据流挖掘的决策树分类新算法
蛋白质相互作用研究中的计算方法综述
二进制立方形递归网络的拓扑结构
基于Horn逻辑扩展模型的时间敏感安全协议验证
时间敏感的安全协议建模与验证：研究综述
一门新的面向构件语言