A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks.

Gerrit Rothmaier, Heiko Krumm

Browse the full FORTE paper archive.