中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [39]
计算技术研究所 [2]
电子学研究所 [2]
合肥物质科学研究院 [1]
采集方式
OAI收割 [44]
内容类型
期刊论文 [33]
学位论文 [10]
会议论文 [1]
发表日期
2014 [2]
2013 [4]
2011 [3]
2010 [1]
2009 [1]
2008 [8]
更多
学科主题
Computer S... [2]
筛选
浏览/检索结果:
共44条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
一种具有多级安全标记的权能访问控制模型及隔离性证明
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2014
周鹏颖
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/06/27
访问控制模型
权能
隔离性
定理证明
Coq
带有空间上下文信息的细粒度Android安全强化机制的设计
期刊论文
OAI收割
计算机应用与软件, 2014, 卷号: 31, 期号: 5, 页码: 285-290,315
任桂超
;
丁丽萍
;
贺也平
  |  
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2014/12/16
Android安全
权限模型
空间访问控制
Android security
Permission model
Spatial-aware access control
可验证的云访问控制方案研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2013
司晓琳
  |  
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2013/05/31
访问控制
云计算
可验证计算
仲裁游戏模型
基于XACML的可验证云访问控制方案
期刊论文
OAI收割
计算机工程, 2013, 卷号: 39, 期号: 10, 页码: 42-48,56
司晓琳
;
王鹏翩
;
张立武
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2014/12/16
访问控制
云访问控制
可验证计算
仲裁游戏模型
可扩展访问控制标示语言
access control
cloud access control
verifiable computing
Refereed Games(RG) model
Extensible Access Control Markup Language(XACML)
基于Biba模型的三权分立分析
会议论文
OAI收割
第七届中国可信计算与信息安全学术会议, 秦皇岛, 2013
黎琳
;
禄凯
;
国强
;
陈永刚
;
范修斌
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/12/16
信息安全
强制访问控制
Biba模型
三权分立
开放式环境下一种基于信任度的RBAC模型
期刊论文
OAI收割
计算机工程, 2013, 卷号: 39.0, 期号: 002, 页码: 112
作者:
邓文洋
;
周洲仪
;
林思明
;
刘金刚
  |  
收藏
  |  
浏览/下载:127/0
  |  
提交时间:2023/12/04
开放式环境
访问控制
评价机制
信任度
权威度
基于角色的访问控制模型
分布式环境下可信使用控制实施方案
期刊论文
OAI收割
计算机研究与发展, 2011, 卷号: 48, 期号: 12, 页码: 2201-2211
胡浩
;
冯登国
;
秦宇
;
于爱民
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2013/10/08
可信计算
可信平台模块
UCON模型
分布式访问控制
可信使用控制
fine-grained mandatory query access control model and its efficient realization for spatial vector data
期刊论文
OAI收割
Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: 8, 页码: 1872-1883
Zhang Yan
;
Chen Chi
;
Feng Deng-Guo
  |  
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2011/10/10
空间矢量数据安全
访问控制模型
强制访问控制
R+树索引
授权模型实现Plant extracts
Security systems
Trees (mathematics)
Vectors
空间矢量数据细粒度强制查询访问控制模型及其高效实现
期刊论文
OAI收割
软件学报, 2011, 卷号: 22, 期号: 8, 页码: 1872-1883
张妍
;
陈驰
;
冯登国
  |  
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2013/10/08
空间矢量数据安全
访问控制模型
强制访问控制
R+树索引
授权模型实现
基于Biba和Clark-Wilson策略的混合强制完整性模型
期刊论文
OAI收割
软件学报, 2010, 卷号: 21, 期号: 1, 页码: 98-106
周洲仪
;
贺也平
;
梁洪亮
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2010/08/23
完整性策略
强制访问控制
Biba模型
Clark-Wilson模型 integrity policy
mandatory access control
Biba model
Clark-Wilson model