Anderson Nunes Paiva Morais, Eliane Martins, Ana R. Cavalli, Willy Jimenez. Security Protocol Testing Using Attack Trees. In Proceedings IEEE CSE 09, 12th IEEE International Conference on Computational Science and Engineering, August 29-31, 2009, Vancouver, BC, Canada. pages 690-697, IEEE Computer Society, 2009. [doi]
Abstract is missing.