当前位置：数字出版物超市 >> 学者知网节 >> 承担国家项目资助发文
共有记录13条
序号 题名 作者 文献来源 发表年份 被引频次 下载频次
1 安全协议的漏洞分析及自动验证工具 周璐 中国优秀博硕士学位论文全文数据库 (硕士) 2007 0 179
2 基于进程演算的安全协议形式化分析 顾永跟;傅育熙;朱涵;吕银华; 2005年全国理论计算机科学学术年会 2005 0 21
3 Tile自组装模型的模拟与分析 濮阳;董笑菊; 2006年全国理论计算机科学学术年会 2006 0 5
4 基于Spi演算的SSL3.0安全协议仿真分析 衷国涛;顾永跟; 计算机仿真 2006 0 44
5 基于类pi演算的电子支付协议安全性形式化研究 顾永跟;李国强;王国钧; 计算机应用研究 2006 1 260
6 基于进程演算和知识推理的安全协议形式化分析 顾永跟;傅育熙; 计算机研究与发展 2006 4 294
7 基于可达关系的安全协议保密性分析 顾永跟;傅育熙;朱涵; 计算机学报 2007 2 147
8 Tissue P systems with parallel rules on channels - Progress in Natural Science 2007 0 6
9 非对称~(χ≠)-演算的基同余 钟发荣,傅育熙 计算机学报 2005 1 42
10 一种新的组织P系统变体的研究 徐贤;董笑菊; 计算机科学 2008 0 22
11 用P系统解决排序问题 黄春毅;董笑菊;龙环; 上海交通大学学报 2008 0 24
12 安全协议匿名性形式化分析 宋琳;蔡小娟; 上海交通大学学报 2008 0 49
13 基于GSPM的安全协议检验工具 庄庆;蔡小娟;董笑菊;戚正伟; 计算机工程 2008 0 7