一种软件安全评估用CC验证描述模板自动生成方法及系统

摘要

本发明提供一种软件安全评估用CC验证描述模板自动生成方法及系统，属于互联网安全技术领域，包括：根据软件安全功能需求建立规范文档并导入CC建模器；CC建模器判断规范文档格式是否符合要求；若符合要求，则检查规范文档中CC组件名称，生成对应的初始化CC验证描述模板；读取规范文档中的软件安全功能需求，完善初始化CC验证描述模板；读取规范文档，根据安全功能需求选取一种模板规范，进行数学建模，得到并输出最终的CC验证描述模板。该发明的有益效果：该建模器实现了自动化对CC准则提出的251个安全功能需求进行建模，生成的模型遵循Isabelle/HOL使用语法规范；通过自动化建立CC验证描述模板，可以提高验证效率，并很大程度上的减少手动书写的错误率。