3.1.1定义 安全系统”定义 在计算机安全领域内，一个系统是 “安全系统”是指该 系统达到了当初设计时所制定的安全策略的要求。 文 在有限状态自动机下 >安全策略：是“这样一种状态，它将系统状态分为已授权/安全 状态和未授权非安全的状态” 一个“"安全系统”：是”一个如果起始状态为授权状态，其后 也不会进入未授权状态的系统” 安全 不安全 S1 S2 t4 S3 t5 S4 嵌入式系统实验室 EMBEDDED SYSTEM LABORATORY SUZHOU INSTITUTE FON ADVANCED STUDY OF USTC安全 不安全 3.1.1 定义 “安全系统”定义 ❖ 在计算机安全领域内，一个系统是“安全系统”是指该 系统达到了当初设计时所制定的安全策略的要求。 ❖ 在有限状态自动机下， ➢ 安全策略：是“这样一种状态，它将系统状态分为已授权/安全 状态和未授权/非安全的状态” ➢ 一个“安全系统”：是“一个如果起始状态为授权状态，其后 也不会进入未授权状态的系统” S1 S2 S3 S4 t1 t2 t4 t5 t3 