This thesis profits from the mechanisms which are used in the design of database transaction and provides atomicity for the TCB operations, ensuring the atomicity of the secure state transitions.

• 本文借鉴数据库中事务设计的思想为TCB操作提供原子化操作，确保安全状态转换的事务性，进而确保可信恢复。