基于本体的安全需求获取与分析方法研究

信息系统的构造方式和运行环境的变化使得信息系统面临的安全形势越来越严峻，安全问题越来越复杂。致力于在系统构建之初获取与分析安全需求的安全需求工程也日益引起各界的广泛关注。缺少可供参考的安全需求描述框架、缺少有效的获取与分析安全需求的方法是目前安全需求工程面临的主要问题。本项目拟从以下四个方面探索有效的信息系统安全需求获取与分析技术：1）在元建模思想的指导下，建立基于本体的安全需求描述模型，为需求工程师获取安全需求提供参考；2）研究适于记录与分析安全需求的契约描述形式，建立基于契约的安全需求获取方法；3）研究契约到安全状态自动机的转换关系，建立基于模型检测的安全需求分析技术；4）研究信息系统安全需求的临界点计算方法，建立基于临界点的安全需求优先级评估技术。从而为尽早发掘与分析信息系统的安全需求提供技术支持。