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

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

帮助

条数/页：排序方式：
	农产品供应链管理平台的应用安全设计与实现学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2013 唐建 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2013/06/24 Web应用安全数据安全访问策略 SQL分析面向切面编程思想
	一种可配置的可信引导系统期刊论文 OAI收割中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 626-630 徐震; 沈丽红; 汪丹 \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2011/06/10 可信平台模块可信引导可信计算可配置引导系统系统安全有效实现引导过程验证系统引导系统内核设计思想可信恢复证据链细粒度计算机原型文件实验认证目标
	一种通过应用程序验证TPM标准符合性的方法期刊论文 OAI收割中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 649-656 崔奇; 石文昌 \| 收藏 \| 浏览/下载：31/0 \| 提交时间：2011/06/10 可信计算组织可信平台模块标准符合性测试标准符合链 Trusted Computing Group (TCG) Trusted Platform Module (TPM) compliance test chain of compliance 计算应用程序程序验证标准符合性 Trusted Computing 可信计算准一致性执行功能系统保护命令计算平台安全性组件思想规范策略
	基于双线性群的同态承诺方案期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1532-1537 宋焰 \| 收藏 \| 浏览/下载：48/0 \| 提交时间：2011/07/01 承诺陷门双线性群子群判定假设同态性线性群承诺方案零知识协议密码学安全多方计算构造双线性映射支付协议用途广泛研究课题设计思想签名方案实例化群同态群结构单向性子群证明原语Electronic commerce Electronic document identification systems Function evaluation Network protocols Security of data
	对一类多级安全模型安全性的形式化分析期刊论文 OAI收割计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超 \| 收藏 \| 浏览/下载：34/0 \| 提交时间：2011/07/13 BLP模型 MLS策略安全不变式 Z语言 Z/EVES定理证明器多级安全模型安全性形式化分析不变式验证模型形式化规范验证工具系统安全策略表述形式分析表语言思想理论客体方法Computer programming languages Formal languages Functions Mathematical models Security of data Security systems Specifications Theorem prov
	一种计算机取证中需求定义的方法期刊论文 OAI收割电子学报, 2006, 卷号: 34, 期号: 5, 页码: 921-923 孙波; 刘欣然; 孙玉芳 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2011/07/13 电子数据取证有效性真实性计算机取证环境需求定义定义方法应用环境实际应用软件工程描述基本理论方法研究安全工程灵活性定义法思想规范场景
	基于角色的域-类型增强访问控制模型研究及其实现期刊论文 OAI收割电子学报, 2003, 卷号: 31, 期号: 6, 页码: 842-846 赵庆松; 孙玉芳; 张晓平 \| 收藏 \| 浏览/下载：35/0 \| 提交时间：2011/07/29 信息安全多安全政策域-类型增强基于角色的访问控制基于角色的域-类型增强访问控制角色的访问控制增强访问控制模型安全政策 Access Control 最小特权职责分离直接实现政策中性安全思想安全原则安全系统原型Computer control Information management Models