A Component-Based Access Control Monitor

被引：0
|
作者：
Liu, Zhiming [1 ]
Morisset, Charles [1 ]
Stolz, Volker [1 ]
机构：
[1] United Nations Univ, Int Inst Software Technol, Macao, Peoples R China
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS | 2008年 / 17卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A control of access to information is increasingly becoming necessary as the systems managing this information is more and more open and available through non secure networks. Integrating an access control monitor within a large system is a complex task, since it has to be an "all or nothing" integration. The least; error or mistake could lead to jeopardize the whole system. We present a formal specification of an access control monitor using the calculus of refinement of component and object systems (rCOS). We illustrate this implementation with the well known Role Based Access Control (RBAC) policy and we show how to integrate it within a larger system. Keywords: Component, Access Control, RBAC, Composition.
引用
收藏
页码：339 / 353
页数：15
相关论文
共 50 条
  • [1] Language-based access control approach for component-based software applications
    Su, R.
    Lukkien, J. J.
    Chaudron, M. R. V.
    IET SOFTWARE, 2007, 1 (05) : 206 - 216
  • [2] A language-based access control approach for component-based software applications
    Su, Rong
    Lukkien, Johan J.
    Chaudron, Michel R. V.
    PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, 2006, : 233 - +
  • [3] Towards accuracy of role-based access control configurations in component-based systems
    Sun, Lianshan
    Huang, Gang
    JOURNAL OF SYSTEMS ARCHITECTURE, 2011, 57 (03) : 314 - 326
  • [4] Component-based distributed multimedia access mechanism
    Yang, Guoliang
    Gao, Hanzhao
    Zeng, Qingkai
    Xie, Li
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 1999, 20 (10): : 736 - 739
  • [5] Component-based access control:: Secure software composition through static analysis
    Parrend, Pierre
    Frenot, Stephane
    SOFTWARE COMPOSITION, 2008, 4954 : 68 - 83
  • [6] A component-based policy-neutral architecture for kernel-level access control
    Lacoste, Marc
    Jarboui, Tahar
    He, Ruan
    ANNALS OF TELECOMMUNICATIONS, 2009, 64 (1-2) : 121 - 146
  • [7] A component-based policy-neutral architecture for kernel-level access control
    Marc Lacoste
    Tahar Jarboui
    Ruan He
    annals of telecommunications - annales des télécommunications, 2009, 64 : 121 - 146
  • [8] Dynamics and control in component-based agent models
    Brazier, FMT
    Jonker, CM
    Treur, J
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2002, 17 (11) : 1007 - 1047
  • [9] A component-based framework for distributed control systems
    Angelov, Christo
    Ke, Xu
    Sierszecki, Krzysztof
    32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 20 - +
  • [10] Component-based analysis of embedded control applications
    Angelov, Christo
    Guan, Wei
    Marian, Nicolae
    Zhou, Feng
    Sierszecki, Krzysztof
    Top, Soren
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2012, 8 (01) : 79 - 92
12345