Safety verification method during trusted execution environment operation based on CC standard

• Main Authors: PAN SHAOPING, MIAO XINLIANG, ZHANG ZIJUN, CHANG RUI
• Format: Patent
• Language: Chinese; English
• Published: 02.06.2023
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC COMMUNICATION TECHNIQUE; ELECTRIC DIGITAL DATA PROCESSING; ELECTRICITY; PHYSICS; TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHICCOMMUNICATION

The invention discloses a trusted execution environment runtime safety verification method based on a CC standard, and the method comprises the steps: analyzing the safety demands of a runtime environment of a trusted execution environment, defining the safety attributes and safety functions of runtime resources, and defining a runtime access control scheme for protecting the runtime resources; and further constructing a runtime access control model in a formalized manner, and carrying out verification and security analysis on the model by utilizing theorem proof. And function correctness and security certification of the access control model is carried out through an interactive theorem certification tool, so that the reliability of the access control model with forced security check during operation is ensured. The method provides theoretical and technical support for research on environment safety protection during operation of the trusted execution environment. 本发明公开一种基于CC标准的可信执行环境运行时安全验证方法，该方法分析可信执行环境的运行