BDMPathfinder: a tool for exploring attack paths in models defined by Boolean logic Driven Markov Processes.

Ricardo M. Czekster, Charles Morisset

Browse the full EDCC paper archive.