作者简介

石文昌

教授，博士生导师。北京大学计算机科学与技术理学学士，中国科学院计算机软件工学硕士和计算机软件与理论工学博士。中国科学院院长奖获得者，红旗安全操作系统总设计师。现任中国人民大学教授，兼中国科学院研究生院教授，中国人民大学系统与信息安全研究实验室负责人，中国计算机学会高级会员，中国计算机学会信息保密、系统软件、开放系统等专委会委员，IEEE会员。曾任中国科学院软件所研究员。长期从事系统软件与信息安全的研究、开发与人才培养工作，1997年晋升为教授，承担了包括国家863 高技术研究发展计划项目和国家自然科学基金项目在内的一系列重要科研项目。1988年开始进行操作系统的研究，1991年成功完成UNIX操作系统的移植，为以UNIX为基础的自主操作系统的开发做出了重要贡献，成果获国家科技攻关重大成果奖。2001年主持研制成功通过国家标准GB 17859第三级认定的红旗安全操作系统，在产业应用中产生了广泛影响。2004年主持完成了国家863计划信息安全技术主题重点课题，解决了国家标准GB 17859 第四级安全操作系统和安全数据库管理系统研制中的一系列关键技术问题，为高安全、高可信系统软件的研制打下了良好的基础。在理论创新方面，证明了经典BLP安全模型的动态适应性能力，证明了多级安全策略模型的历史敏感性特征，纠正了国际同行在多级安全性策略特性研究方面的错误结论；另外，基于主观逻辑理论，提出了信息安全国际CC标准的定量评价模型，该工作在推动CC标准的应用及信任体系量化模型的研究方面具有重要的基础性意义。

梁朝晖

博士，现任中国人民大学信息学院讲师。1989年获华中科技大学工学学士学位，1992年获华中科技大学工学硕士学位，2005年获北京邮电大学博士学位。研究方向：信息安全与宽带无线网络。作为第一参加人或第二参加人参加国家863 项目2 项，国家自然基金项目3项，北京自然科学基金项目1 项。近期在国内外发表论文12 篇，其中已有5篇均为第一作者的论文被EI检索。以第一申请人申请专利1项。