中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-9 of 9)

Items/Page:    Sort:
一个环境适应的基于角色的访问控制模型 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 6, 页码: 983-990
吴新松; 贺也平; 周洲仪; 梁洪亮
  |  
 
基于Biba和Clark-Wilson策略的混合强制完整性模型 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 1, 页码: 98-106
周洲仪; 贺也平; 梁洪亮
  |  
 
操作系统强制访问控制关键技术研究 [学位论文]
硕士, 中科院 软件所: 中科院 软件所, 2009-06-02
周洲仪
  |  
 
一种高速安全反向代理服务器的设计与实现 [期刊论文]
计算机研究与发展, 2009-01-01, 卷号: 46, 期号: z1, 页码: 332-336
周洲仪; 吴新松
  |  
 
基于静态分析的强制访问控制框架的正确性验证 [期刊论文]
计算机学报, 2009-01-01, 卷号: 32, 期号: 4, 页码: 730-739
吴新松; 周洲仪; 贺也平; 梁洪亮; 袁春阳
  |  
 
一个基于DTE和平台证明的网络强制访问控制形式模型 [会议论文]
第五届中国信息和通信安全学术会议, 长沙, 2007
周洲仪; 贺也平
  |  
 
一个基于应用程序监控的病毒防范框架 [期刊论文]
计算机工程, 2006-01-01, 卷号: 32, 期号: 12, 页码: 152-153,156
武延军; 石文昌; 梁洪亮; 周洲仪
  |  
 
安全策略模型规范及其形式分析技术研究 [期刊论文]
通信学报, 2006-01-01, 期号: 6, 页码: 94-101
李丽萍; 卿斯汉; 周洲仪; 何建波; 温红子
  |  
 
具有冲突约束的RBAC模型的形式化规范与证明 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: z2
袁春阳; 贺也平; 何建波; 周洲仪
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace