标题：On mutual support of modern and traditional access control models with UCON and BLP as case study
作者：Feng, Hui ;Shi, Wenchang ;Liang, Zhaohui ;Liang, Bin
作者机构：[Feng, Hui ;Shi, Wenchang ;Liang, Zhaohui ;Liang, Bin ] School of Information, Renmin University of China, Beijing 100872, China;[Feng, Hui ;Shi, Wenc 更多
会议名称：2011 3rd International Conference on Communications and Mobile Computing, CMC 2011
会议日期：April 18, 2011 - April 20, 2011
来源：Proceedings - 2011 3rd International Conference on Communications and Mobile Computing, CMC 2011
摘要：Access control is essential to computer security, especially in an open, distributed, networked communication environment. Modern access control model such as UCON aims at accommodating general requirements. Traditional one such as BLP focuses on specific properties, e.g. confidentiality. Both of these two realms have their limitations. Taking UCON and BLP as case study, this paper explores mutual support of modern and traditional access control models. It investigates BLP's adaptable characteristic in the UCON perspective. First, it constructs properties in the UCON language to manifest the BLP adaptability, which shows that the BLP adaptability can be ensured to function correctly by the UCON framework. Further, it proposes a formal specification for the BLP adaptability under the UCON framework with the Temporal Logic of Actions, which demonstrates that the BLP adaptability is in good consistency with the UCON model. The significance of the paper is twofold. On the one hand, it exhibits that adaptable quality of the traditional BLP model may be ensured theoretically by the philosophy of modern access control. On the other hand, it enriches the real sense of modern access control models by strengthening the power of traditional access control models. © 2011 IEEE.