Search
 
loader loading subjects...
cover
Scenario Graphs Applied to Security - Extended Abstract
Jeannette M. Wing
229 - 234
NATO Security through Science Series - D: Information and Communication Security
Volume 1: Verification of Infinite-State Systems with Applications to Security
Abstract

Traditional model checking produces one counterexample to illustrate a violation of a property by a model of the system. Some applications benefit from having all counterexamples, not just one. We call this set of counterexamples a scenario graph. In this paper we present two different algorithms for producing scenario graphs and explain how scenario graphs are a natural representation for attack graphs used in the security community.

$35.00 / €27.50 / £22.00
Add PDF to cart