@proceedings{MKJ15, editor = {Sjouke Mauw and Barbara Kordy and Sushil Jajodia}, title = {Proceedings of the Second International Workshop on Graphical Models for Security (GraMSec 2015), Verona, Italy, July 13, 2015}, booktitle = {GraMSec}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {9390}, year = {2016}, url = {http://www.springer.com/fr/book/9783319299679} }