一种基于BLP模型的安全Web服务器系统.pdfVIP

第 卷 第 期 计 算 机 学 报 Z6 10 Vol . Z6 No . 10 年 月 Z003 10 CHI NESE J OURNAL OF COMPUTERS Oct . Z003 一种基于 模型的安全 服务器系统 BLP Web 刘克龙1 D 卿斯汉1 D 冯登国Z D D 中国科学院信息安全技术工程研究中心 北京 1 C 100080 D D 中国科学院软件研究所信息安全国家重点实验室 北京 Z C 100080 D 摘 要 针对基于 的通信存在的弱点 提出了安全 服务器的概念 并以此为目标 提出并实现了一种基 Web Web 于 形式化模型的安全 服务器系统 BLP Web . 关键词 模型 安全操作系统 安全 服务器 BLP ; ; Web 中图法分类号 TP393 A Type of Secure Web Server Syste m Based on BLP Model LI U Ke- Long 1 D @I NG Si- Han 1 D FENG Deng- Guo Z D 1 D CEngineering Researc h Center f Or I nf Or matiOn Sec urit S Chinese Acade mS O f Sciences Beij ing 100080 D Z D CSt ate Ke S LabOrat OrS O f I nf Or matiOn Sec urit S I nstit ute O f SO ft ware Chinese Acade mS O f Sciences Beij ing 100080 D Abstract To overco me t he shortco mi ngs of t he co mmuni cati ons based on t he web t hi s paper presents t he concept of secure web ser ver . And i n or der t o achi eve t he goal t he aut hors present and i mpl e men