也谈安全——记一次国内产品的CC EAL5+安全测评

摘要：2021年1月到12月，有幸作为一款安全产品的负责人，对产品开展EAL5+测评。现将测评中的一些过程，记录如下，仅供参考。

关键字：CC测评；安全测评；EAL5+；形式化验证