位置：成果数据库 > 期刊 > 期刊详情页
SPVT:一个有效的安全协议验证工
  • 期刊名称：软件学报，17(4): 898-906，2006年4月。
  • 时间：0
  • 相关项目：基于进程代数的复杂安全协议的形式化分析与验证
作者： 李梦君(*)，李舟军，陈火旺
同期刊论文项目
基于进程代数的复杂安全协议的形式化分析与验证
期刊论文 36 会议论文 8
同项目期刊论文
基于Horn 逻辑扩展模型的时间敏
安全协议的扩展Horn逻辑模型及其
用描述逻辑进行语义Web服务组合
一种关于语义Web服务匹配的策略
整合Agent与语义Web服务
篇章中的消解问题与消解算法：研
一种基于抽象解释理论和通用单调
ACUN理论一般合一化问题的合一化
基于进程代数的安全协议验证消解
自由访问控制的安全性：研究综述
基于Horn 逻辑扩展模型的安全协
基于抽象解释理论的程序验证技术
基于Ontology的Web服务组合方法
语义Web服务的自动化组合方法：
Modeling Eletronic Payment Sys
安全协议的进程代数规约到逻辑程
基于动态博弈描述的电子商务协议公平性
安全协议的扩展Horn逻辑模型及其验证方法
SPVT：一个有效的安全协议验证工具
一种新的电子商务协议分析方法
对一个基于身份的密钥协商协议的分析与改进
基于面向服务架构的网上支付安全体系研究与实现
基于双难题的环Z_n上圆锥曲线的数字签名
安全协议分析中参与者个数上确界的论证
基于Horn逻辑扩展模型的安全协议反例的自动构造
一种基于线索化二叉排序树的数据流挖掘的决策树分类新算法
蛋白质相互作用研究中的计算方法综述
二进制立方形递归网络的拓扑结构
基于Horn逻辑扩展模型的时间敏感安全协议验证
时间敏感的安全协议建模与验证：研究综述
一门新的面向构件语言
Modeling Electronic Payment Systems Based on Dynamic Game
基于J2EE的电子口岸系统总体应用架构