a Topology-Aware Cyber-Physical Access Control (TA-CPAC) model is presented. This model takes the Role-Based Access Control (RBAC, ANSI INCITS 359-2004) model as the main framework, and the topology attributes are added to the RBAC model to support the dynamic permission assignment. These attributes include location of subjects and objects ...

2019年11月1日 · In this paper, we propose a formal inter-domain model to specify cyber-physical access control policies and a model checking approach to ensure security requirements hold in these policies. We first present a formal definition of the topology configuration to capture the environment characteristics of the cyber-physical spaces.

The term access control refers to the practice of restricting entrance to a property, a building, or a room to authorized persons. Physical access control can be achieved by a human (a guard, bouncer, or receptionist), through mechanical means such as locks and keys, or through technological means such as access control systems like the mantrap ...

Network Topologies and Access Control Protocols. An important issue in the design of a network is the network topology. A popular network topology is the bus topology. Under this topology, the communicating devices are connected to a common bus, and packets contain addresses of the receiving devices.

To support the access control of cyber-physical spaces, such as smart buildings, we developed a tool that security analysts can use to visualize and edit a building’s topo-logical characteristics and verify whether access-control policies satisfy the security requirements imposed on Smart spaces are becoming increasingly vulnerable

we propose an effective access control framework for the cyber-physical space. Firstly, a topology-aware access con-trol (TAAC) model is proposed. It can express the cyber ac-cess control, the physical access control, and the interaction access control simultaneously. Secondly, a risk assessment approach is proposed for the policy enforcement ...

2020年1月3日 · This paper proposes an effective access control framework for the cyber-physical space using a topology-aware access control (TAAC) model, and proposes a role activation algorithm to ensure that the objects are accessed only by legal and honest users.

2019年4月29日 · We first formulate a topology configuration model to capture the topology characteristics of the cyber and physical worlds. Then, based on this model, a Topology-Aware Cyber- Physical Access Control model (TA-CPAC) is proposed, which can ensure the security of the cyber and physical worlds at the same time by adjusting permission assignment ...

2020年1月3日 · Firstly, a topology-aware access control (TAAC) model is proposed. It can express the cyber access control, the physical access control, and the interaction access control simultaneously. Secondly, a risk assessment approach is …

2019年3月1日 · In this paper, we propose a formal inter-domain model to specify cyber-physical access control policies and a model checking approach to ensure security requirements hold in these policies. We...