Distributed access control: A logic-based approach

被引：0
|
作者：
Barker, S [1 ]
机构：
[1] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England
来源：
COMPUTER NETWORK SECURITY | 2003年 / 2776卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We introduce the status-based access control model, and we describe status-based access control policies and programs. Some technical results are presented, and we describe a practical implementation of an autonomous agent that is used for evaluating access request with respect to a formulation of an SBAC policy.
引用
收藏
页码：217 / 228
页数：12
相关论文
共 50 条
  • [21] COMPLEXITY CONTROL IN LOGIC-BASED PROGRAMMING
    MARKUSZ, Z
    KAPOSI, AA
    [J]. COMPUTER JOURNAL, 1985, 28 (05): : 487 - 495
  • [22] Logic-based Verification of the Distributed Dining Philosophers Protocol
    Delzanno, Giorgio
    [J]. FUNDAMENTA INFORMATICAE, 2018, 161 (1-2) : 113 - 133
  • [23] Putting logic-based distributed systems on stable grounds
    Ameloot, Tom J.
    van den Bussche, Jan
    Marczak, William R.
    Alvaro, Peter
    Hellerstein, Joseph M.
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 378 - 417
  • [24] A logic-based switching control approach to active queue management for transmission control protocol
    Chen, Xinwei
    Liu, Tao
    Zhao, Jun
    [J]. INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2008, 4 (07): : 1811 - 1820
  • [25] A Distributed Control of Movements and Fuzzy Logic-Based Task Allocation for a Swarm of Autonomous Agents
    Lucas, Pedro
    Loayza, Kleber
    Pelaez, Enrique
    [J]. 2018 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2018,
  • [26] A logic-based approach to semantic information extraction
    Ruffolo, Massimo
    Manna, Marco
    [J]. ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: ARTIFICIAL INTELLIGENCE AND DECISION SUPPORT SYSTEMS, 2006, : 115 - 123
  • [27] A logic-based approach to program flow analysis
    Mooly Sagiv
    Nissim Francez
    Michael Rodeh
    Reinhard Wilhelm
    [J]. Acta Informatica, 1998, 35 : 457 - 504
  • [28] LOGIC-BASED APPROACH TO EXPERT SYSTEMS IN CHEMISTRY
    AKUTSU, T
    SUZUKI, E
    OHSUGA, S
    [J]. KNOWLEDGE-BASED SYSTEMS, 1991, 4 (02) : 103 - 116
  • [29] A logic-based approach to combinatorial testing with constraints
    Calvagna, Andrea
    Gargantini, Angelo
    [J]. TESTS AND PROOFS, 2008, 4966 : 66 - +
  • [30] A logic-based approach to program flow analysis
    Sagiv, M
    Francez, N
    Rodeh, M
    Wilhelm, R
    [J]. ACTA INFORMATICA, 1998, 35 (06) : 457 - 504
12345