BLP改进模型的形式化描述及自动化验证

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

BLP改进模型的形式化描述及自动化验证

徐亮，谭煌

Formal Description and Automated Verification of Improved BLP Model

XU Liang, TAN Huang

计算机工程 . 2013, (12): 130 -135 . DOI: 10.3969/j.issn.1000-3428.2013.12.028