Dynamic event-based access control as term rewriting

被引：0
|
作者：
Bertolissi, Clara [1 ]
Fernandez, Maribel [2 ]
Barker, Steve [2 ]
机构：
[1] Univ Aix Marseille 1, LIF, Marseille, France
[2] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England
来源：
DATA AND APPLICATIONS SECURITY XXI, PROCEEDINGS | 2007年 / 4602卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Despite the widespread adoption of Role-based Access Control (RBAC) models, new access control models are required for new applications for which RBAC may not be especially well suited and for which implementations of RBAC do not enable properties of access control policies to be adequately defined and proven. To address these issues, we propose a form of access control model that is based upon the key notion of an event. The access control model that we propose is intended to permit the representation of access control requirements in a distributed and changing computing environment, the proving of properties of access control policies defined in terms of our model, and direct implementations for access control checking.
引用
收藏
页码：195 / +
页数：3
相关论文
共 50 条
  • [41] On limit cycles in event-based control systems
    Cervin, Anton
    Astrom, Karl Johan
    PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 1947 - 1952
  • [42] Two Complementary Approaches to Event-based Control
    Gruene, Lars
    Mueller, Florian
    Jerg, Stefan
    Junge, Oliver
    Post, Marcus
    Lehmann, Daniel
    Lunze, Jan
    AT-AUTOMATISIERUNGSTECHNIK, 2010, 58 (04) : 173 - 182
  • [43] The Controllability and Observability of the Event-based Control System
    Chen, YiBin
    Xi, Ning
    Li, HongYi
    Wang, YueChao
    2010 8TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA), 2010, : 4834 - 4838
  • [44] An algorithm for event-based optimal feedback control
    Gruene, Lars
    Mueller, Florian
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 5311 - 5316
  • [45] Guest editorial: event-based control and optimization
    Jia, Qing-Shan
    Johansson, Karl Henrik
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2014, 24 (02): : 99 - 102
  • [46] Event-Based control of depth of hypnosis in anesthesia
    Merigo, Luca
    Beschi, Manuel
    Padula, Fabrizio
    Latronico, Nicola
    Paltenghi, Massimiliano
    Visioli, Antonio
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 2017, 147 : 63 - 83
  • [47] Event-based communications for equipment supervisory control
    Zhang, Dan Hong
    Zhang, Jing Bing
    Zhao, Yi Zhi
    Wong, Ming Mao
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 341 - 347
  • [48] Quantized Event-based Control of Nonlinear Systems
    Liu, Tengfei
    Jiang, Zhong-Ping
    2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 4806 - 4811
  • [49] Event-Based Summarization Using Critical Temporal Event Term Chain
    Liu, Maofu
    Li, Wenjie
    Zhang, Xiaolong
    Zhang, Ji
    COMPUTER PROCESSING OF ORIENTAL LANGUAGES: LANGUAGE TECHNOLOGY FOR THE KNOWLEDGE-BASED ECONOMY, 2009, 5459 : 378 - +
  • [50] Event-Based Control for a Greenhouse Irrigation System
    Pawlowski, A.
    Sanchez, J. A.
    Guzman, J. L.
    Rodriguez, F.
    Berenguel, M.
    Dormido, S.
    2016 2ND INTERNATIONAL CONFERENCE ON EVENT-BASED CONTROL, COMMUNICATION, AND SIGNAL PROCESSING (EBCCSP), 2016,
12345