Proceedings of the Workshop on Model-Driven Security
ACM Digital Library