中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
基础软件国家工程研... [12]
中科院软件所 [1]
作者
Content Type
期刊论文 [10]
会议论文 [2]
学位论文 [1]
Issued Date
Language
中文 [6]
Source
计算机研究与发展 [4]
计算机科学 [3]
中国科学院研究生院学... [1]
第九届计算机科学与技... [1]
计算机学报 [1]
更多...
Project
Indexed
WANFANG [3]
WANFANG,CS... [2]
WANFANG,CN... [1]
WANFANG,EI... [1]
其他 [1]
Spnsorship
中国计算机学会 [3]
湖南大学 [3]
xidian uni... [1]
中国科学院计算技术研... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 13)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
基于属性的远程证明的隐私性分析
[期刊论文]
通信学报, 2009-01-01, 期号: S2, 页码: 146-152
李尚杰
;
贺也平
;
刘冬梅
;
袁春阳
  |  
基于静态分析的强制访问控制框架的正确性验证
[期刊论文]
计算机学报, 2009-01-01, 卷号: 32, 期号: 4, 页码: 730-739
吴新松
;
周洲仪
;
贺也平
;
梁洪亮
;
袁春阳
  |  
高等级安全操作系统中可信恢复关键技术研究
[学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-04
袁春阳
  |  
FreeBSD中内核级安全审计系统的构建
[期刊论文]
计算机工程与设计, 2007-01-01, 期号: 5, 页码: 1007-1011
潘学俭
;
袁春阳
;
梁洪亮
;
吕洪利
  |  
使用CC标准开发的高保证安全信息系统
[期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 2, 页码: 17
袁春阳
;
贺也平
;
潘学俭
;
梁洪亮
  |  
安全操作系统中基于安全性损害分析的可信恢复
[期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 2, 页码: 264
李松林
;
袁春阳
;
朱继峰
;
淮晓永
;
梁洪亮
;
贺也平
  |  
改进增强型高安全等级操作系统SECIMOS的设计与实现
[期刊论文]
计算机科学, 2007-01-01, 卷号: 34, 期号: 8
袁春阳
;
李琳
;
石文昌
;
梁洪亮
;
贺也平
  |  
基于PCR检测机制的时间自校检平台访问控制算法
[会议论文]
第二届中国可信计算与信息安全学术会议, 河北保定, 2006
石志国
;
贺也平
;
张宏
;
袁春阳
  |  
支持增强Linux安全性的多个安全策略模型的统一框架
[期刊论文]
中国科学院研究生院学报, 2006-01-01, 期号: 2, 页码: 205-212
袁春阳
;
石文昌
;
梁洪亮
;
武延军
;
商青华
  |  
一种面向标准评估的高保证安全操作系统开发方法
[会议论文]
中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会, 青岛, 2006
袁春阳
;
贺也平
;
石文昌
;
梁洪亮
;
商青华
  |  
1
2
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace