专题首页
中图分类法(13)
工业技术(13)
在“
CNKI学位论文
”中,
命中:
13
条,耗时:小于0.01 秒
1.
密码协议的形式化分析方法研究
作者:
王全来
关键词:
密码协议
;
形式化分析
;
进程演算
;
重写
;
计算模型
;
形式化模型
;
自动验证
论文级别:
博士
学位年度:2009
2.
基于模型比较的软件测试用例生成方法研究
作者:
谢晓东
关键词:
软件测试
;
测试用例生成
;
基于模型比较的测试方法
;
灰盒测试
;
等价类测试
;
基于EFSM的测试
论文级别:
博士
学位年度:2007
3.
非对称与异步非对称χ演算的
测试等价
关系的研究
作者:
朱智峰
关键词:
进程演算
;
非对称x进程
;
异步非对称x进程
;
测试等价
关系
;
公理化
论文级别:
硕士
学位年度:2007
4.
安全协议代数证明方法研究
作者:
李援
关键词:
信息安全
;
定理证明
;
sPi演算
;
框架互模拟
;
应用pi演算
论文级别:
博士
学位年度:2007
5.
安全协议形式化分析方法的关键技术研究
作者:
谢鸿波
关键词:
安全协议
;
形式化分析
;
类BAN逻辑
;
符号迹方法
;
有向图
论文级别:
博士
学位年度:2011
6.
模型独立的移动演算理论
作者:
朱涵
关键词:
并发计算
;
进程演算
;
交互理论
;
测试等价
;
移动演算
;
证明系统
论文级别:
博士
学位年度:2009
7.
基于Spi演算的密码协议自动化分析技术研究
作者:
袁霖
关键词:
密码协议
;
Spi演算
;
类型系统
;
霍恩子句
;
秘密性
;
认证性
论文级别:
硕士
学位年度:2005
8.
面向SOA的合约变异测试技术研究
作者:
王恒
关键词:
SOA
;
服务合约
;
变异测试
;
Web服务
;
形式化
论文级别:
硕士
学位年度:2008
9.
进程演算的比较语义研究
作者:
谷迪康
关键词:
进程演算
;
互模拟
;
π-演算
;
spi-演算
论文级别:
硕士
学位年度:2009
10.
基于Pi演算的SOAP安全性分析与验证
作者:
吴铮
关键词:
Web服务
;
SOAP
;
安全模型
;
XML重写攻击
;
Pi演算
论文级别:
硕士
学位年度:2008
1
2
按检索点细分(13)
题名(1)
目录(9)
关键词(2)
摘要(8)
按论文级别细分(13)
博士(5)
硕士(8)
按学位年度细分(13)
2004年(1)
2005年(1)
2007年(3)
2008年(2)
2009年(3)
2010年(2)
2011年(1)