[发明专利]安全性验证设备和安全性验证方法

摘要

本发明提供一种安全性验证设备和一种安全性验证方法，其能够验证准备用于实现安全性测量所需的所有元素的能力。在此安全性认证设备和方法中，基于安全性要求信息选择验证项目，基于待实现的安全性的模型生成验证项目所标识的部分的安全性要求信息，基于根据验证项目中所包括的实现模型而提取的能力项目而生成表示待实现的安全性的模型中所包括的部分的安全性保持能力的信息，并且输出对关于部分的安全性要求信息与表示保持能力的信息进行比较的验证结果。

主权项

一种安全性验证设备，包括：验证项目存储装置，所述验证项目存储装置存储验证项目中的一个或多个验证项目，所述验证项目至少包括安全性功能名称、实现方法和部分信息，所述安全性功能名称是用于指定安全性内容的信息，所述实现方法是用于指示所述安全性的实现方法的信息，所述部分信息包括部分标识信息，所述部分标识信息是实现所述安全性的部分的一个或多个部分中的每个部分的标识信息；功能项目存储装置，所述功能项目存储装置存储功能项目中的一个或多个功能项目，所述功能项目至少包括所述部分标识信息、所述安全性功能名称和实现方式，所述实现方式是用于指示所述部分标识信息所指定的部分的所述安全性功能名称所指定的安全性的实现方式的信息；要求模型生成装置，所述要求模型生成装置基于系统要求从所述验证项目存储装置中选择和输出所述验证项目，所述系统要求是用于指示待验证的系统的安全性要求的信息，并且基于安全性目标模型来生成和输出指示在选择的所述验证项目的所述部分信息中包括的所述部分标识信息所指定的每个部分的所述安全性要求的信息，所述安全性目标模型是用于指示待验证的所述系统的安全性目标部分的结构的信息；保有功能模型生成装置，所述保有功能模型生成装置基于所述要求模型生成装置所选择的所述验证项目中包括的所述实现方法，从所述功能项目存储装置中提取所述功能项目，并且基于提取的所述功能项目来生成和输出指示在所述安全性目标模型中包括的每个部分的安全性的保有功能的信息；以及验证装置，所述验证装置执行对指示每个部分的所述安全性要求的所述信息与指示每个部分的安全性的所述保有功能的所述信息的比较和验证，并且输出所述比较和验证的验证结果。