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

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

帮助

条数/页：排序方式：
	AKC攻击的模式、预防及案例分析学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2016 麻婧 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2016/06/29 安全协议 AKC攻击形式化验证安全性质协议转换
	一类基于图上随机游动的密钥共享体制期刊论文 OAI收割中国科学E辑, 2007, 卷号: 37, 期号: 2, 页码: 199-208 刘木兰; 肖亮亮; 张志芳收藏 \| 浏览/下载：55/4 \| 提交时间：2011/07/01 密钥共享体制图上随机游动单调张成方案线性码随机游动密钥共享体制重构算法空间复杂度安全多方计算特殊性质级别降低构造存取结构保持时间线性码多项式对数级安全性协议统计设计导出
	基于DTE策略的安全域隔离Z形式模型期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/01 安全域隔离信息流 DTE 可信管道形式化策略安全域域隔离形式模型系统安全性形式定义隔离技术形式分析方法信息流分析验证系统状态可信系统建模问题安全状态安全性质安全目标不变量语言基础Formal languages Magnetic domains Query languages Servers Specifications Verification
	一种多层次特权控制机制的设计与实现期刊论文 OAI收割计算机研究与发展, 2006, 卷号: 43, 期号: 3, 页码: 423-428 沈晴霓; 卿斯汉; 李丽萍 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/13 安全操作系统最小特权权能状态角色域多层次特权控制机制设计安全性质自主开发角色职责管理层隔离动态功能程序文件安全等级结构化功能层保护级组成证明用户受控
	超滤提取鸡蛋白溶菌酶的预处理研究会议论文 OAI收割第三届全国化学工程与生物化工年会, 中国广西南宁, 2006-11 王文敬; 周北海; 万印华; 陈向荣收藏 \| 浏览/下载：23/0 \| 提交时间：2013/09/29 溶菌酶:7235 鸡蛋白:3181 防腐作用:2447 安全性要求:2303 离子交换法:2299 预处理:2247 人民生活水平:2188 化学性质:1951 超滤:1916 结晶法:1903
	对几类重要网络安全协议形式模型的分析期刊论文 OAI收割计算机学报, 2005, 卷号: 28, 期号: 7, 页码: 1071-1083 季庆光; 冯登国 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2010/05/27 安全协议形式模型抽象体系安全性质形式系统