机构

• 软件研究所 [4]

采集方式

• OAI收割 [4]

内容类型

• 会议论文 [3]
• 期刊论文 [1]

发表日期

• 2010 [3]
• 2009 [1]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 基于属性的远程证明模型 期刊论文  OAI收割 通信学报, 2010, 卷号: 31, 期号: 8, 页码: 40551 于爱民; 冯登国; 汪丹   |  收藏  |  浏览/下载：30/0  |  提交时间：2011/05/23 基于属性的远程证明  信任图  可信策略  可判定性property based remote attestation  trust graph  trusted policy  decidability   semantic remote attestation for security policy 会议论文  OAI收割 semantic remote attestation for security policy, Seoul, 2010 Qian Zhang; Yeping He; Ce Meng   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/03/31 SELinux policy appraoch  binary code  logical programming  policy analysis technique  query  security policy  semantic remote attestation  Linux  logic programming  query processing  security of data   towards remote attestation of security policies 会议论文  OAI收割 2nd International Conference on Networks Security, Wireless Communications and Trusted Computing, NSWCTC 2010, Wuhan, Hubei, April 24, Qian Zhang; Yeping He; Ce Meng   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/03/31 SELinux  remote attestation  security policies  security of data   remote attestation for custom-built software 会议论文  OAI收割 International Conference on Networks Security, Wireless Communications and Trusted Computing, Wuhan, PEOPLES R CHINA, APR 25-26, Meng Ce; He Yeping; Zhang Qian   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/03/20 remote attestation  trusted computing  static analysis