SecuriTAS: a tool for engineering adaptive security

Publication
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering