Toward hybrid attack dependency graphs

A graph-based system for network-vulnerability analysis

Proceedings of the 1998 workshop on New security paradigms

A requires/provides model for computer attacks

Proceedings of the 2000 workshop on New security paradigms

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

Hybrid Systems

Automated Generation and Analysis of Attack Graphs

SP '02 Proceedings of the 2002 IEEE Symposium on Security and Privacy

Managing attack graph complexity through visual hierarchical aggregation

Proceedings of the 2004 ACM workshop on Visualization and data mining for computer security