Automatic Discovery of Software Attacks via Backward Reasoning.

Cataldo Basile Daniele Canavese Jérôme d'Annoville Bjorn De Sutter Fulvio Valenza

Published in: SPRO@ICSE (2015)

Keyphrases

automatic discovery
web services
semantic web services
software development
user interface
computer systems
knowledge base
source code
countermeasures
artificial intelligence
security risks
case study
data sources
intrusion detection
anti virus