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

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

帮助

条数/页：排序方式：
	Analysis study on perturbation energy and predictability of heavy precipitation in south china 期刊论文 iSwitch采集 Advances in atmospheric sciences, 2010, 卷号: 27, 期号: 2, 页码: 382-392 作者: Zhu Benlu; Lin Wantao; Zhang Yun 收藏 \| 浏览/下载：37/0 \| 提交时间：2019/05/10 Initial perturbation Error growth Dte Predictability
	基于DTE策略的安全域隔离Z形式模型期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/01 安全域隔离信息流 DTE 可信管道形式化策略安全域域隔离形式模型系统安全性形式定义隔离技术形式分析方法信息流分析验证系统状态可信系统建模问题安全状态安全性质安全目标不变量语言基础Formal languages Magnetic domains Query languages Servers Specifications Verification
	一个基于DTE和平台证明的网络强制访问控制形式模型会议论文 OAI收割第五届中国信息和通信安全学术会议, 长沙, 2007 周洲仪; 贺也平 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/06/29 域型强制实行平台证明可信计算平台模块安全策略网络访问控制 DTE技术
	混合RBAC-DTE策略的多角色管理期刊论文 OAI收割计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1419-1426 唐柳英; 卿斯汉 \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2011/07/13 安全策略混合RBAC-DTE访问控制模型极小特权原则多角色管理 Capability机制控制策略角色访问控制访问许可权访问控制模型多角色极小特权粒度角色划分继承关系划分方法管理问题管理方法代码尺寸保护机制域划分可权集增强文献进程共享Codes (symbols) Management Mathematical models Security of data Theorem proving