应用安全软件工程方法开发可信DBMS的过程研究

摘要

保证要求是现代信息系统安全评估的重点之一,它是信息系统满足安全功能要求的可信依据.保证要求的核心是将安全软件工程思想和技术贯彻于安全信息系统的整个生命周期过程中,为各项活动提供连续的方法论指导和具体技术方法的辅助,为系统安全目标和安全要求的完成提供充分的保证.结合可信DBMS的特点和特殊性,描述了安全软件工程方法在其开发过程中的应用,分析了从需求分析、系统高层设计、系统详细设计到系统实现、测试等主要生命周期过程中对安全软件工程提出的要求和安全软件工程所提供的保证支持.所述思想和方法为安全自立系统软件的研发建立了良好的安全软件工程应用框架.