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

• Formal Safety Analysis of a Class of Multilevel Security Models