Amerson Lin, Mike Bond, Jolyon Clulow. Modeling Partial Attacks with Alloy. In Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe, editors, Security Protocols - 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers. Volume 5964 of Lecture Notes in Computer Science, pages 20-33, Springer, 2007. [doi]
Abstract is missing.