Phillip J. Brooke, Richard F. Paige, Christopher Power. Approaches to Modelling Security Scenarios with Domain-Specific Languages. In Bruce Christianson, James A. Malcolm, Frank Stajano, Jonathan Anderson, editors, Security Protocols XX - 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers. Volume 7622 of Lecture Notes in Computer Science, pages 41-54, Springer, 2012. [doi]
Abstract is missing.