Formal Safety Analysis of a Class of Multilevel Security Models

• 对一类多级安全模型安全性的形式化分析