-
题名基于可达关系的安全协议保密性分析
被引量：4
- 1
-
-
作者
顾永跟
傅育熙
朱涵
-
机构
湖州师范学院计算机科学与技术系
上海交通大学计算机科学与工程系
-
出处
《计算机学报》
EI
CSCD
北大核心
2007年第2期255-261,共7页
-
基金
国家杰出青年科学基金(60225012)
+1 种基金
国家"九七三"重点基础研究发展规基金(2003CB317005)
国家自然科学基金(60473006)资助
-
文摘
借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支持的特点,尝试地提出了一个基于可达关系的安全协议保密性分析模型.基于此模型,形式化地描述了安全协议的保密性,证明了一定限制条件下的可判定性.并且以TMN协议为例,给出了该模型的实例研究.
-
关键词
安全协议
可达关系
进程演算
消息推理
-
Keywords
security protocol
reachability relation
process calculus
message inference
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名软件可靠性预测的相关向量机模型
被引量：7
- 2
-
-
作者
楼俊钢
江建慧
沈张果
蒋云良
-
机构
湖州师范学院计算机科学与技术系浙江湖州
同济大学计算机科学与技术系上海
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第7期1542-1550,共9页
-
基金
国家自然科学基金项目(61103051)
国家“八六三”高技术研究发展计划基金项目(2007AA01Z142)
湖州市自然科学基金项目(2011YZ08)
-
文摘
相关向量机是一种解决回归问题非常有效的方法,针对软件失效时间及其之前的m个失效时间数据使用相关向量机进行学习,以建立失效时间之间内在的依赖关系,由此构建新的基于相关向量机的软件可靠性预测模型.在4个数据集上的实验结果表明,新模型在预测能力上较之广泛使用的基于支持向量机或人工神经网络的软件可靠性预测模型有明显的提高,同时也表明现时失效数据的预测能力比很久之前观测的失效数据更强,最后通过实验对合理的m值及不同数据集上核函数参数取值进行研究.
-
关键词
软件可靠性预测
相关向量机
支持向量机
人工神经网络
稀疏贝叶斯模型
-
Keywords
software reliability prediction relevance vector machine
support vector machine
artificial neural network
sparse Bayesian model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于进程演算和知识推理的安全协议形式化分析
被引量：7
- 3
-
-
作者
顾永跟
傅育熙
-
机构
湖州师范学院计算机科学与技术系
上海交通大学计算机科学与工程系上海
上海交通大学计算机科学与工程系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2006年第5期953-958,共6页
-
基金
国家杰出青年科学基金项目(60225012)
国家"九七三"重点基础研究发展规划基金项目(2003CB317005)
+1 种基金
国家自然科学基金项目(60473006)
浙江省湖州市自然科学基金项目(2005YZ09)~~
-
文摘
安全协议的形式化分析是当前安全协议研究的热点,如何扩充现在已经成熟的理论和方法去研究更多的安全性质,使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待解决的问题.进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型.基于此模型,形式化地定义了一些安全性质,给出了一个实例研究,并指出了进一步完善此模型的研究方向.
-
关键词
进程演算
知识推理
安全协议
形式化分析
-
Keywords
process calculus
knowledge derivation
security protocol
formal analysis
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于GSPM的安全协议新鲜性分析
被引量：1
- 4
-
-
作者
周璐
顾永跟
-
机构
上海交通大学计算机科学与技术系
湖州师范学院计算机科学与技术系
-
出处
《计算机应用研究》
CSCD
北大核心
2007年第11期143-145,共3页
-
基金
国家自然科学基金资助项目(60473006)
-
文摘
安全协议形式化分析方法通过规范描述和数学推理来检验安全协议是否满足各种安全要求。GSPM是安全协议形式化分析的一般模型。在该模型中加入新鲜性的定义,形式化描述了新鲜性这一特殊的安全性质,扩展了GSPM的适用范围,并通过Andrew Secure RPC协议给出了形式化分析新鲜性的实例研究。
-
关键词
安全协议
新鲜性
一般安全协议模型
-
Keywords
security protocol
freshness
GSPM
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
