@proceedings{gramsec'14,
  editor        = {Barbara Kordy and Sjouke Mauw and Wolter Pieters},
  title         = {Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, 12th April, 2014},
  booktitle     = {GraMSec},
  series        = {EPTCS},
  volume        = {148},
  year          = {2014},
  ee            = {http://dx.doi.org/10.4204/EPTCS.148}
}