Concurrency Analysis of the Universal Physical Access Control System (UPACS)  
Author Clyde Carryl


Co-Author(s) Bassem Alhalabi; Ravi Shankar


Abstract The Universal Access Control System (UPACS) is a communication protocol designed to provide secure access to remote physical devices, and its design makes use of the concurrent execution of several communicating processes. We perform a concurrency analysis of UPACS to assess the resilience of the protocol to concurrency-induced errors in the face of harsh operating conditions and provide guidelines regarding the design constraints that must be realized in order to ensure the safe and efficient operation of the protocol. We discuss the design constraints necessitated by limited communication ports and congestion in various parts of the network. We also discuss the effects of adding a second resource parent at each location for redundancy.


Keywords Communication Protocol Concurrency Analysis, Physical Access Control Systems, Remote Access, UPACS, Asset Security
    Article #:  2151
Proceedings of the 21st ISSAT International Conference on Reliability and Quality in Design
August 6-8, 2015 - Philadelphia, Pennsylvia, U.S.A.