基于安全级的策略求精方法及决策机制

在策略分层思想的基础上,综合考虑策略的纵向求精和横向决策两方面因素,将策略安全级引入策略的求精操作中,作为某一策略层次上多种求精方案的横向决策依据,在系统可允许的安全级别范围内,提供准确而灵活的策略求精和决策机制,为基于策略的安全防护中安全策略的自动化执行和实施提供有力的支持.     

如何提升WEB服务器安全级

IIS（Intemet Information Server）作为当今流行的Web服务器之一。在政府部门实施电子政务工程过程中提供了强大的Internet和Intranet服务功能，如何加强IIS的安全机制，建立一个高安全性能的Web服务器．已成为政府部门实施电子政务工程不可忽视的重要组成部分。     

基于组合测试的V&V单元测试用例设计研究

核电安全级应用软件的特点包括:复杂的数字逻辑结构,输入变量多等。组合测试旨在使用较少的测试用例,有效地检查出由各因素之间的作用而产生的缺陷。针对核电安全级应用软件输入变量多的特点,结合传统组合测试算法,提出一种基于分级组合测试思想的单元测试用例设计方法。实践表明该方法能够大幅度减少测试用例数量,有效提升测试效率,更快速地发现潜在软件缺陷,是一种值得继续深入研究的可行方法。     

某核电厂非安全级控制系统质量位风险分析及优化

本文对核电厂非安全级控制系统中的输入信号进行分析,并且结合电厂系统配置进行功能块划分,同时根据质量位所涉及的模拟图和逻辑图对核电厂非安全级控制系统存在的潜在风险进行改进,旨在降低机组因非安全级控制系统质量位出现而导致重要系统设备误动发生概率,从而提高机组运行可靠性。