中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [6]
计算技术研究所 [1]
过程工程研究所 [1]
采集方式
OAI收割 [8]
内容类型
期刊论文 [6]
学位论文 [2]
发表日期
2014 [1]
2013 [1]
2007 [1]
2006 [3]
2004 [2]
学科主题
筛选
浏览/检索结果:
共8条,第1-8条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
一种具有多级安全标记的权能访问控制模型及隔离性证明
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2014
周鹏颖
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2014/06/27
访问控制模型
权能
隔离性
定理证明
Coq
知识产权能力测度指标体系与方法及实证研究——以某国立科研机构为例
期刊论文
OAI收割
科学学研究, 2013, 期号: 12, 页码: 1826-1834+1825
宋河发
;
李玉光
;
曲婉
收藏
  |  
浏览/下载:37/0
  |  
提交时间:2014/08/27
当量关系
科研机构
知识产权能力
测度指标体系
政策
基于权能转换模型的攻击场景推理、假设与预测!
期刊论文
OAI收割
通信学报, 2007, 卷号: 28.0, 期号: 012, 页码: 78
作者:
田志宏
;
张伟哲
;
张永铮
;
张宏莉
;
李洋
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
网络安全
攻击场景
权能转换模型
入侵检测
一种多层次特权控制机制的设计与实现
期刊论文
OAI收割
计算机研究与发展, 2006, 卷号: 43, 期号: 3, 页码: 423-428
沈晴霓
;
卿斯汉
;
李丽萍
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/07/13
安全操作系统
最小特权
权能状态
角色
域
多层次
特权
控制机制
设计
安全性质
自主开发
角色职责
管理层
隔离
动态功能
程序文件
安全等级
结构化
功能层
保护级
组成
证明
用户
受控
一种支持动态调节的最小特权安全策略架构
期刊论文
OAI收割
电子学报, 2006, 卷号: 34, 期号: 10, 页码: 1803-1808
沈晴霓
;
卿斯汉
;
贺也平
;
李丽萍
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2010/08/23
安全操作系统
安全策略
最小特权
权能
角色
域 secure operating system
security policy
least privilege
capability
role
domain
多策略适应的一种POSIX权能遗传算法
期刊论文
OAI收割
通信学报, 2006, 卷号: 27, 期号: 2, 页码: 66-72
沈晴霓
;
卿斯汉
;
贺也平
;
沈建军
  |  
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2010/08/23
操作系统安全
权能机制
权能遗传算法
最小特权 operating system security
capability mechanism
capability inheritance algorithm
least privilege
支持POSIX权能机制的一个新的特权控制的形式模型
期刊论文
OAI收割
中国科学E辑, 2004, 卷号: 34, 期号: 6, 页码: 683-700
季庆光
;
卿斯汉
;
贺也平
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2010/08/23
形式模型
极小特权
角色
域
权能
高安全级操作系统形式设计的研究
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
季庆光
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/03/17
形式模型
机密性策略
完整性策略
极小特权原理
无干扰理论
信息流
权能
模型层次结构