Efficient and Generic Algorithms for Quantitative Attack Tree Analysis | IEEE Journals & Magazine | IEEE Xplore