An Assessment of Security Analysis Tools for Cyber-Physical Systems KU Leuven
© 2017, Springer International Publishing AG. Cyber-Physical Systems are heavily used in today’s world. However, their security leaves much to be desired. Attacks such as the Stuxnet worm and the Ukrainian Grid Hack have shown that compromising these systems can have disastrous consequences. It follows that additional methods for assessing the security of these systems must be explored. To this end, several tools have been developed. In this ...