Basit Shafiq, Ammar Masood, James Joshi, Arif Ghafoor. A Role-Based Access Control Policy Verification Framework for Real-Time Systems. In 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA. pages 13-20, IEEE Computer Society, 2005. [doi]
Abstract is missing.