中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共5条，第1-5条

帮助

条数/页：排序方式：
	一种基于并发冲突间隔时间的隐蔽信道检测方法期刊论文 OAI收割计算机研究与发展, 2011, 卷号: 48, 期号: 8, 页码: 1542-1553 王永吉; 吴敬征; 丁丽萍; 曾海涛 \| 收藏 \| 浏览/下载：48/0 \| 提交时间：2011/10/10 多级安全并发控制隐蔽信道时间隐蔽信道隐蔽信道检测
	公平认证密钥交换协议的安全模型与模块化设计期刊论文 OAI收割中国科学(F辑:信息科学), 2009, 期号: 10, 页码: 1055-1062 冯登国; 陈伟东 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/03/18 认证密钥交换协议,可否认性,公平性,并发数字签名,可证明安全性
	基于数论的密码协议设计学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 宋焰收藏 \| 浏览/下载：47/0 \| 提交时间：2011/03/17 承诺陷门模拟协调并发安全鉴别
	新颖的基于并发签名的公平交易协议期刊论文 OAI收割通信学报, 2008, 卷号: 29, 期号: 7, 页码: 39-43 陈广辉; 卿斯汉; 齐志峰; 杨义先 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/06/10 安全协议公平交易并发签名不可否认性签名公平交易协议可信第三方数据条目秘密信息滥用性公平性性质物品商品签署平地模糊密钥解密交换辨认
	基于SPIN/Promela的并发系统验证期刊论文 OAI收割计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/29 模型检测并发系统软件可靠性 SPIN/Promela 形式化验证并发系统逻辑一致性计算机科学安全性分析验证技术验证工具研究领域数据结构软件系统建模语言基本算法工作机理分析验证运用应用通道输出设计模型