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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
对一类多级安全模型安全性的形式化分析 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1468-1479
何建波; 卿斯汉; 王超
  |  
 
B级安全的轻量级内核BSK的设计与实现 [期刊论文]
计算机工程, 2006-01-01, 卷号: 32, 期号: 5, 页码: 125-127
冷健; 谢冬青
  |  
 
B级安全的轻量级内核BSK的设计与实现 [期刊论文]
计算机工程, 2006-01-01, 卷号: 32, 期号: 5, 页码: 125-127
冷健; 谢冬青
  |  
 
B级安全的轻量级内核BSK的设计与实现 [期刊论文]
计算机工程, 2006-01-01, 卷号: 32, 期号: 5, 页码: 125-127
冷健; 谢冬青
  |  
 
Biba模型中严格完整性政策的动态实施 [期刊论文]
计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 5, 页码: 746-754
张相锋; 孙玉芳
  |  
 
主体当前敏感标记动态确定方案研究 [期刊论文]
电子学报, 2001-01-01, 卷号: 29, 期号: 8, 页码: 1046-1049
石文昌; 梁洪亮; 孙玉芳
  |  
 

1

 

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