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

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

帮助

条数/页：排序方式：
	并发系统差分隐私的形式化验证学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2014 许丽丽 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2015/01/16 差分隐私概率自动机模块化分析定量互模拟 Kantorovich距离 Crowds协议密码学家就餐协议证明系统
	密码模块安全测评标准的演进:现状、困境与趋势期刊论文 OAI收割成都信息工程学院学报, 2011, 卷号: 26, 期号: 2, 页码: 109-122 周永彬; 李建堂; 刘继业 \| 收藏 \| 浏览/下载：29/0 \| 提交时间：2013/10/08 密码模块标准安全要求安全等级
	可信计算技术研究期刊论文 OAI收割计算机研究与发展, 2011, 卷号: 48, 期号: 8, 页码: 1332-1349 冯登国; 秦宇; 汪丹; 初晓博 \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2011/10/10 可信计算可信平台模块可信密码模块信任链远程证明可信计算测评Automatic test pattern generation Industry Network security Research Societies and institutions Specifications
	可信计算研究进展分析期刊论文 OAI收割电信科学, 2011, 期号: 1, 页码: 11-15 卿斯汉; 周启明; 杜虹 \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2011/10/10 可信计算可信平台模块可信密码模块可信软件堆栈
	可信存储关键技术及应用研究学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2010 李昊 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2010/11/23 可信计算可信平台模块可信密码模块虚拟单调计数器属性封装使用控制文件系统
	一种基于TCM的属性证明协议期刊论文 OAI收割中国科学:信息科学, 2010, 期号: 2, 页码: 189-199 冯登国; 秦宇 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2011/05/24 可信计算可信密码模块(TCM) 属性证明知识签名配置承诺
	可信密码模块的模型检测分析期刊论文 OAI收割通信学报, 2010, 期号: 1, 页码: 59-64,72 陈小峰; 冯登国 \| 收藏 \| 浏览/下载：9/0 \| 提交时间：2011/05/23 可信计算平台可信密码模块模型检测
	可信密码模块符合性测试方法与实施期刊论文 OAI收割武汉大学学报(理学版), 2009, 期号: 1, 页码: 31-34 李昊; 冯登国; 陈小峰 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2011/03/18 可信密码模块,符合性测试,扩展有限状态机模型,等价类测试
	5轮SAFER++的非线性密码分析期刊论文 OAI收割电子学报, 2003, 卷号: 31, 期号: 7, 页码: 961-965 吴文玲; 马恒太; 唐柳英; 卿斯汉 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2011/07/29 线性密码分析非线性密码分析线性逼近非线性逼近 SAFER++ 非线性密码分析强力攻击改进型数据复杂度密钥基础模块显示算法设计评估二轮长度测试比特安全Algorithms Approximation theory Computational complexity Security of data