高安全级操作系统形式设计的研究

【作者】 季庆光

【导师】 卿斯汉;

【作者基本信息】 中国科学院研究生院(软件研究所) , 计算机应用技术, 2004, 博士