...“计算机系统是由一系列描述构成计 算机系统的实体的当前配置的状态（states）组成，系统通过应用状态变换（state transitions）实现计算。从给定的初始状态使用一组状态变换可以到达的所有状态 最终分为由安全策略定义的两类状态：已授权状的和未授权状的。
基于12个网页-相关网页
系统通过应用状态变换
The system applies state transformation
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动