Abdulrahman Almutairi, Tawfeeq A. Shawly, Saleh Basalamah, Arif Ghafoor. Policy-Driven High Assurance Cyber Infrastructure-Based Systems. In 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014. pages 146-153, IEEE Computer Society, 2014. [doi]
Abstract is missing.