一种基于图尔敏模式的软件安全性论证方法

摘要

本发明公开了一种基于图尔敏模式的软件安全性认证方法。该方法以需要认证的软件安全性目标为核心，提供支持目标成立的事实证据，质疑时，给出赋予事实证据支持目标成立的正当理由及用于强化正当理由权威性陈述的支援；如目标不是完全成立，则需明确目标实现程度的限定词；给出阻止从正当理由得出目标成立的反驳，从而实现以软件安全性目标为核心的安全性认证方法。本发明是一种更自由更宽泛的软件安全性论证方法，能更直接更清晰地表明软件安全性目标是如何满足的，同时能更有效地促进开发方开展安全性保障工作的积极性，从而更主动地提高了软件安全性。