Efficient Computation of the Mean Time to Security Failure in Cyber Physical Systems

José M. Martínez, Kishor S. Trivedi, Benny Cheng. Efficient Computation of the Mean Time to Security Failure in Cyber Physical Systems. In Antonio Puliafito, Kishor S. Trivedi, Bruno Tuffin, Marco Scarpa, Fumio Machida, Javier Alonso, editors, 10th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2016, Taormina, Italy, 25th-28th Oct 2016. ACM, 2016. [doi]

Abstract

Abstract is missing.