中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [11]
声学研究所 [1]
采集方式
OAI收割 [12]
_filter
_filter
_filter
筛选
浏览/检索结果:
共12条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
基于可信计算的策略标签保护架构
期刊论文
OAI收割
计算机研究与发展, 2011, 卷号: 48, 期号: 12, 页码: 2219-2226
刘孜文
;
冯登国
;
于爱民
|
收藏
|
浏览/下载:18/0
|
提交时间:2013/10/08
策略标签保护
可信计算
访问控制
加密文件系统
完整性度量
网络安全操作系统关键技术研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2010
李尚杰
|
收藏
|
浏览/下载:34/0
|
提交时间:2010/12/01
安全操作系统
安全策略体系结构
可信主体
隐私保护远程证明
分布式环境下安全策略的可信关键技术研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2010
张谦
|
收藏
|
浏览/下载:15/0
|
提交时间:2011/01/24
可信计算
访问控制策略
语义远程证明
策略分析
度量-验证时间差
基于属性的远程证明模型
期刊论文
OAI收割
通信学报, 2010, 卷号: 31, 期号: 8, 页码: 40551
于爱民
;
冯登国
;
汪丹
|
收藏
|
浏览/下载:27/0
|
提交时间:2011/05/23
基于属性的远程证明
信任图
可信策略
可判定性property based remote attestation
trust graph
trusted policy
decidability
面向高清媒体的嵌入式存储系统 MSFS 关键技术的研究
学位论文
OAI收割
博士, 声学研究所: 中国科学院声学研究所, 2009
吴丽彬
收藏
|
浏览/下载:24/0
|
提交时间:2011/05/07
高清
媒体
嵌入式
M结构文件系统
可靠性
存储结构
存储安全
可信恢复
快速检索
预读策略
基于可信平台的一种访问控制策略框架——TXACML
期刊论文
OAI收割
计算机研究与发展, 2008, 卷号: 45, 期号: 10
聂晓伟
;
冯登国
|
收藏
|
浏览/下载:8/0
|
提交时间:2010/05/27
XACML
可信平台安全属性
评估函数
策略合成算法
访问控制
一种通过应用程序验证TPM标准符合性的方法
期刊论文
OAI收割
中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 649-656
崔奇
;
石文昌
|
收藏
|
浏览/下载:21/0
|
提交时间:2011/06/10
可信计算组织
可信平台模块
标准符合性测试
标准符合链
Trusted Computing Group (TCG)
Trusted Platform Module (TPM)
compliance test
chain of compliance
计算应用程序
程序验证
标准
符合性
Trusted Computing
可信计算
准一致性
执行功能
系统保护
命令
计算平台
安全性
组件
思想
规范
策略
基于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
周洲仪
;
贺也平
|
收藏
|
浏览/下载:17/0
|
提交时间:2011/06/29
域型强制实行
平台证明
可信计算平台模块
安全策略
网络访问控制
DTE技术
高安全等级操作系统可信进程安全策略及其关键技术的研究
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2006
沈晴霓
收藏
|
浏览/下载:26/0
|
提交时间:2011/03/17
安全操作系统
可信进程
安全策略
模型
形式化分析
特权
可信路径
首页
上一页
1
2
下一页
末页