@inproceedings{7fdd77e006054f5185797e08be32740e,
title = "Mission-aware vulnerability assessment for cyber-physical systems",
keywords = "Cyber-physical systems, Formal methods, Security, Vulnerability assessment",
author = "Xiaotian Wang and Matthew Davis and Junjie Zhang and Vance Saunders",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015 ; Conference date: 20-08-2015 Through 22-08-2015",
year = "2015",
month = dec,
day = "2",
doi = "10.1109/Trustcom.2015.496",
language = "English",
series = "Proceedings - 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1148--1153",
booktitle = "Proceedings - 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015",
}