Through the noninterference theory, it is proved that the model meets multilevel security policy.

通过不干扰原理对模型的安全性进行了证明。

youdao

Through the noninterference theory, it is proved that the model meets multilevel security policy.

通过不干扰原理对模型的安全性进行了证明。

youdao