Two Formal Analys s of Attack Graphs.

Somesh Jha Oleg Sheyner Jeannette M. Wing

Published in: CSFW (2002)

Keyphrases

attack graphs
attack graph
formal model
real time
information systems
cost function
computer networks
formal methods
network configuration