机构

• 软件研究所 [15]

采集方式

• OAI收割 [15]

内容类型

• 期刊论文 [15]

发表日期

• 2011 [1]
• 2007 [1]
• 2006 [4]
• 2005 [3]
• 2004 [3]
• 2003 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共15条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 云计算安全研究 期刊论文  OAI收割 软件学报, 2011, 卷号: 22, 期号: 1, 页码: 71-83 冯登国; 张敏; 张妍; 徐震   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/10/10 云计算  云安全技术框架  云安全标准  云安全服务Computer systems  Information technology  Security of data  Standards   基于双线性群的同态承诺方案 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1532-1537 宋焰   |  收藏  |  浏览/下载：32/0  |  提交时间：2011/07/01 承诺  陷门  双线性群  子群判定假设  同态性  线性群  承诺方案  零知识协议  密码学  安全多方计算  构造  双线性映射  支付协议  用途广泛  研究课题  设计思想  签名方案  实例化  群同态  群结构  单向性  子群  证明  原语Electronic commerce  Electronic document identification systems  Function evaluation  Network protocols  Security of data   一种基于身份的多信任域认证模型 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1271-1281 彭华熹   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/13 认证  基于身份的密码体制  匿名  安全性分析  基于身份  信任域  认证模型  身份认证  认证框架  匿名性  性安全  资源访问  密码体制  基础  分析表  证明  弊端Computer networks  Distributed computer systems  Enterprise resource planning  Mathematical models  Network protocols  Probability  Security of data  Theorem proving   核心化多级安全数据库系统未决提交事务日志写出依赖研究 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1438-1446 徐震; 张敏   |  收藏  |  浏览/下载：28/0  |  提交时间：2011/07/13 核心化体系结构  多级安全数据库系统  未决提交  依赖图  核心化  事务日志  日志记录  持久存储  高级事务  依赖关系  协调  系统崩溃  维护  体系结构  算法  事务提交  事务数据  实例处理  分析论证  处理过程  状态  证明  同级Algorithms  Architecture  Data storage equipment  Graph theory  Mathematical models  Security of data  Topology   对一类多级安全模型安全性的形式化分析 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超   |  收藏  |  浏览/下载：29/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   混合RBAC-DTE策略的多角色管理 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1419-1426 唐柳英; 卿斯汉   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/13 安全策略  混合RBAC-DTE访问控制模型  极小特权原则  多角色管理  Capability机制  控制策略  角色访问控制  访问许可权  访问控制模型  多角色  极小特权  粒度  角色划分  继承关系  划分方法  管理问题  管理方法  代码尺寸  保护机制  域划分  可权集  增强  文献  进程  共享Codes (symbols)  Management  Mathematical models  Security of data  Theorem proving   基于网格计算中的安全问题研究 期刊论文  OAI收割 湖南师范大学自然科学学报, 2005, 卷号: 28, 期号: 1, 页码: 24-27 王一夫; 陈松乔; 范国闯   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/28 网格,网格安全基础设施,认证,代理,加密套接字协议层Calculations  Computer networks  Computer science  Mathematical models  Security of data   串空间理论扩展 期刊论文  OAI收割 软件学报, 2005, 卷号: 16, 期号: 10, 页码: 1784-1789 沈海峰; 薛锐; 黄河燕; 陈肇雄   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/28 安全协议,串空间,理想,诚实理想Formal logic  Network protocols  Security of data   一种用于移动Agent数据保护的机制 期刊论文  OAI收割 软件学报, 2005, 卷号: 16, 期号: 3, 页码: 477-484 谭湘; 顾毓清; 包崇明   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/28 移动Agent系统,安全,机密性,完整性Algorithms  Cryptography  Distributed computer systems  Multi agent systems  Security of data   针对基于离散对数多重签名方案的一种攻击 期刊论文  OAI收割 计算机学报, 2004, 卷号: 27, 期号: 8, 页码: 1147-1152 韩小西; 王贵林; 鲍丰; 任奎   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/29 数字签名  多重签名  密码学  信息安全  离散对数  签名方案  攻击方法  多重签名  群体  有效性检验  消息  数字签名  密钥生成  成员所  验证  伪造  私钥  欺诈  控制  解释  公钥  地产  处理  安全Security of data