Model-Driven Security Workshop, MDsec 2012, In conjunction with MoDELS 2012, Innsbruck, Austria, October 1, 2012. ACM 2012, ISBN 978-1-4503-1806-8