A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
2015 IEEE International Symposium on Technologies for Homeland Security (HST)
In , we presented a Vulnerability Detection System (VDS) that can detect emergent vulnerabilities in complex Cyber Physical Systems (CPS). It used the attacker's point of view by collecting a target system's vulnerability information from varied sources, and populating a Attack Point (AP) database. From these APs, a Hierarchical Task Network generated the set of composite device-level attack scenarios. The VDS used Alloy  to reduce the cardinality of the generated space by evaluating thedoi:10.1109/ths.2015.7225296 fatcat:zw4qmuz3j5dxlp577dp3sqfrfq