SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis

Sam Procter, Eugene Y. Vasserman, John Hatcliff. SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis. In Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29 - September 01, 2017. ACM, 2017. [doi]

Abstract

Abstract is missing.