On the description of access control policies in networked industrial systems

The specification and verification of access control policies are fundamental steps in the process of securing industrial control systems and critical infrastructures. The focus of this paper is on bridging the semantic gap between high-level access control policies specified in the Role-Based Access Control (RBAC) framework and the low-level security mechanisms actually implemented in the physical system. Our approach is based on a novel kind of model, which includes two distinct views of the system, namely an RBAC-based specification and a low-level system de- scription. The descriptive capabilities of the model are presented through an example derived from a real proto- type plant for printed circuit boards re-manufacturing/de- manufacturing.