中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [9]
采集方式
OAI收割 [9]
内容类型
期刊论文 [7]
学位论文 [2]
发表日期
2009 [1]
2008 [1]
2006 [1]
2004 [3]
2003 [3]
学科主题
筛选
浏览/检索结果:
共9条,第1-9条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于静态分析的强制访问控制框架的正确性验证
期刊论文
OAI收割
计算机学报, 2009, 卷号: 32, 期号: 4, 页码: 730-739
吴新松
;
周洲仪
;
贺也平
;
梁洪亮
;
袁春阳
  |  
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2010/08/23
正确性验证
静态分析
强制访问控制框架
钩子放置
mygcc mygcc
correctness verification
static analysis
mandatory access control framework
hooks placement
mygcc
基于策略的Web应用服务器安全授权系统的设计与实现
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2008
邓柳军
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2011/03/17
Web应用服务器
安全框架
访问控制
安全策略
一个基于应用程序监控的病毒防范框架
期刊论文
OAI收割
计算机工程, 2006, 卷号: 32, 期号: 12, 页码: 152-153,156
武延军
;
石文昌
;
梁洪亮
;
周洲仪
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2011/07/13
病毒
程序监控
Linux
访问控制
病毒扫描
应用程序
操作系统
新文件
用户透明
协同测试
监控程序
标记
可定制
性能
杀毒
入侵
内核
框架
检查
调用
一个应用于操作系统的RBAC模型及其实施
期刊论文
OAI收割
计算机研究与发展, 2004, 卷号: 41, 期号: 2, 页码: 287-298
单智勇
;
孙玉芳
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2011/07/29
操作系统
RBAC
访问控制
应用
操作系统
角色访问控制模型
形式化描述
可执行文件
系统权限
实施方法
内核
扩展
框架
经典
基础
安全
带二级缓冲机制的通用访问控制框架研究及实现
期刊论文
OAI收割
计算机学报, 2004, 卷号: 27, 期号: 11, 页码: 1576-1584
单智勇
;
孙玉芳
  |  
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2011/07/29
通用访问控制框架
安全操作系统
多安全政策
缓冲机制
通用
访问控制框架
多安全政策
Access Control
安全操作系统
结果缓冲器
支持结构
效率
三层模型
缺陷
访问决策
测算结果
性能
模块
经典
基础
红旗Cache memory
Computer operating systems
Data communication systems
Decision making
安全操作系统自主访问控制机制的研究与实现
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
孙亚楠
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/03/17
安全操作系统
自主访问控制
访问控制表
扩展属性
LSM通用安全框架
通用访问控制框架扩展研究
期刊论文
OAI收割
计算机研究与发展, 2003, 卷号: 40, 期号: 2, 页码: 228-234
单智勇
;
孙玉芳
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/07/29
通用访问控制框架
安全操作系统
多安全政策
通用
访问控制框架
扩展
多安全政策
access control
安全操作系统
支持结构
效率
缺陷
访问决策
测算结果
缓冲器
性能
模块
经典
一个安全标记公共框架的设计与实现
期刊论文
OAI收割
软件学报, 2003, 卷号: 14, 期号: 3, 页码: 547-552
梁洪亮
;
孙玉芳
;
赵庆松
;
张相锋
;
孙波
  |  
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2011/07/29
标记
多级安全系统
信息流控制
保密性
完整性
安全操作系统
安全标记
公共框架
安全政策
多级安全系统
体标记
强制访问控制
安全操作系统
标记功能
完整性
灵活性
框架基
保密性
安全性
历史
集合
基础
函数
概念Computer operating systems
Functions
Labels
Security systems
环境适应的通用多安全政策支持框架研究
期刊论文
OAI收割
计算机研究与发展, 2003, 卷号: 40, 期号: 2, 页码: 235-244
单智勇
;
孙玉芳
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2011/07/29
多安全政策
FLASK
通用访问控制框架
安全操作系统
环境适应
通用
多安全政策支持框架
安全操作系统
信息系统
体系结构
评价准则
环境变化
安全环境
原型
开发
基础