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

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

帮助

条数/页：排序方式：
	一个支持空间上下文的访问控制形式模型期刊论文 OAI收割中国科学E辑, 2007, 卷号: 37, 期号: 2, 页码: 254-271 张宏; 贺也平; 石志国 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2010/08/23 信息安全RBAC空间上下文格多级安全限制形式模型
	对一类多级安全模型安全性的形式化分析期刊论文 OAI收割计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超 \| 收藏 \| 浏览/下载：27/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
	多级安全OS与DBMS模型的信息流及其一致性分析期刊论文 OAI收割计算机学报, 2005, 卷号: 28, 期号: 7, 页码: 1123-1129 李斓; 冯登国; 徐震 \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2010/05/27 信息流多级安全数据库多级安全操作系统一致性多级关系模型
	多级安全DBMS的通用审计策略模型期刊论文 OAI收割软件学报, 2005, 卷号: 16, 期号: 10, 页码: 1774-1783 何永忠; 李斓; 冯登国 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2010/05/27 审计策略模型多级安全数据库
	一种实用的安全数据库多级关系模型期刊论文 OAI收割计算机工程, 2004, 卷号: 30, 期号: 12, 页码: 71-72 李旭峰; 冯登国; 李斓 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2010/05/27 安全数据库 BLP模型多级关系模型
	一个改进的可动态调节的机密性策略模型期刊论文 OAI收割软件学报, 2004, 卷号: 15, 期号: 10, 页码: 1547-1557 季庆光; 卿斯汉; 贺也平 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2010/08/23 机密性策略形式模型安全级范围多级实体 IPC对象 confidentiality policy formal model sensitivity level range multiple level entity IPC objects
	经典BLP安全公理的一种适应性标记实施方法及其正确性期刊论文 OAI收割计算机研究与发展, 2001, 卷号: 38, 期号: 11, 页码: 1366-1372 石文昌; 孙玉芳; 梁洪亮 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2011/07/29 Bell & LaPadula,计算机安全,模型,公理,Linux,实现经典安全操作系统适应性记实实施方法基础访问控制规则正确性证明多级安全性判定增加敏感标记基本安全安全系统灵活性计算机模型理论开发构造构成
	主体当前敏感标记动态确定方案研究期刊论文 OAI收割电子学报, 2001, 卷号: 29, 期号: 8, 页码: 1046-1049 石文昌; 梁洪亮; 孙玉芳 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/29 计算机安全安全操作系统安全模型敏感标记主体敏感标记方案研究限定条件模型基础构造安全操作系统多级安全性证明描述客体构成Computer operating systems Labels Mathematical models Sensitivity analysis