CNKI学位论文(70)
知网期刊论文(14)
中图分类法(70)
工业技术(69)
交通运输(1)
在“
CNKI学位论文
”中，
命中：
70
条，耗时：小于0.01 秒
在所有数据库中总计命中：
84
条
1.
列车运行控制系统分层形式化建模与验证分析
作者：
吕继东
关键词：
列控系统
;
复杂安全苛求系统
;
分层建模
;
验证
;
形式化方法
;
模型检验
论文级别：
博士
学位年度：2011
2.
安全协议形式化分析方法的关键技术研究
作者：
谢鸿波
关键词：
安全协议
;
形式化分析
;
类BAN逻辑
;
符号迹方法
;
有向图
论文级别：
博士
学位年度：2011
3.
模型独立的移动演算理论
作者：
朱涵
关键词：
并发计算
;
进程演算
;
交互理论
;
测试等价
;
移动演算
;
证明系统
论文级别：
博士
学位年度：2009
4.
基于语言的软件可信性度量理论及其应用
作者：
吴新星
关键词：
可信性度量
;
混成进程代数(HCSP)
;
霍尔逻辑(HL)
;
概率测度
;
结构化程序设计语言
;
构件匹配
;
业务过程执行语言(BPEL)
;
进程演算
(CCS)
;
Ruby/Tk
论文级别：
博士
学位年度：2011
5.
面向网络环境的信息安全对抗理论及关键技术研究
作者：
蒋建春
关键词：
信息安全对抗
;
网络敌手模型
;
对抗体系
;
网络入侵检测
;
攻击上下文
;
网络脆弱性分析
;
网络攻击阻断
;
网络攻击诱骗
论文级别：
博士
学位年度：2004
6.
网络化控制系统Petri网建模与分析
作者：
胡红革
关键词：
网络化控制系统
;
混合随机Petri网
;
可达树
;
故障分析
论文级别：
博士
学位年度：2005
7.
分布式系统形式化建模技术研究
作者：
郑红
关键词：
分布式系统
;
CORBA规范
;
Petri网
论文级别：
博士
学位年度：2003
8.
带实时的传值与移动系统研究
作者：
陈靖
关键词：
实时系统
;
数据传送
;
移动计算
;
进程代数
;
互模拟
;
可达性
;
模型检测
论文级别：
博士
学位年度：2003
9.
移动界程演算及模型检测应用的关键问题研究
作者：
林荣德
关键词：
应用界程演算
;
应用界程逻辑
;
模型检测
;
偏序方法
;
进程等式系
论文级别：
博士
学位年度：2010
10.
移动支付系统安全的若干关键问题研究
作者：
刘文琦
关键词：
移动支付
;
形式化分析
;
有色Petri网
;
支付协议
;
同时生效签密
论文级别：
博士
学位年度：2008
1
2
3
4
5
6
7
8
按检索点细分(70)
题名(7)
目录(34)
关键词(24)
摘要(35)
引文(21)
按论文级别细分(70)
博士(29)
硕士(41)
按学位年度细分(70)
2002年(1)
2003年(5)
2004年(3)
2005年(2)
2006年(6)
2007年(9)
2008年(7)
2009年(10)
2010年(7)
2011年(11)
2012年(7)
2013年(1)
2014年(1)