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.