Two formal analyses of attack graphs (2002)

by S Jha, O Sheyner, J Wing
Venue:In Proceedings of the 15th IEEE Workshop on Computer Security Foundations