基于进程演算和知识推理的安全协议形式化分析

顾永跟; 傅育熙

首页> 中文期刊> 《计算机研究与发展》 >基于进程演算和知识推理的安全协议形式化分析

基于进程演算和知识推理的安全协议形式化分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

安全协议的形式化分析是当前安全协议研究的热点,如何扩充现在已经成熟的理论和方法去研究更多的安全性质,使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待解决的问题.进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型.基于此模型,形式化地定义了一些安全性质,给出了一个实例研究,并指出了进一步完善此模型的研究方向.

著录项

来源
《计算机研究与发展》 |2006年第5期|953-958|共6页
作者
顾永跟; 傅育熙;
展开▼
作者单位

湖州师范学院计算机科学与技术系;

湖州;

313000;

上海交通大学计算机科学与工程系;

上海;

200030;

上海交通大学计算机科学与工程系;

上海;

200030;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
进程演算; 知识推理; 安全协议; 形式化分析;

相似文献

中文文献
外文文献
专利

1. 基于类pi演算的电子支付协议安全性形式化研究 [J] . 顾永跟 ,李国强 ,王国钧 . 计算机应用研究 . 2006,第003期
2. 基于扩展Spi演算的IKEv2协议形式化分析与改进 [J] . 韩明奎 ,潘进 ,刘琼 . 计算机技术与发展 . 2010,第008期
3. C2P:基于Pi演算的协议C代码形式化抽象方法和工具 [J] . 张协力 ,祝跃飞 ,顾纯祥 . 软件学报 . 2021,第006期
4. 基于Spi演算的Kerberos认证协议形式化研究 [J] . 李国强 ,顾永跟 ,傅育熙 . 计算机科学 . 2004,第011期
5. 基于应用π演算的可信平台模块的安全性形式化分析 [J] . 徐士伟 ,张焕国 . 计算机研究与发展 . 2011,第008期
6. 基于进程演算的安全协议形式化分析 [C] . 顾永跟 ,傅育熙 ,朱涵 . 2005年全国理论计算机科学学术年会 . 2005
7. 基于进程演算的安全协议形式化研究 [A] . 顾永跟 . 2005

基于进程演算和知识推理的安全协议形式化分析

摘要

著录项

相似文献

相关主题

期刊订阅