1 paper
Barbara Kordy, Sjouke Mauw, Wolter Pieters
The present volume contains the proceedings of the First International Workshop on Graphical Models for Security (GraMSec'14). The workshop was held in Grenoble, France, on April 1…