@article{753835,
      note = {Includes author index.},
      author = {Mauw, S., and Kordy, Barbara, and Jajodia, Sushil,},
      url = {http://library.usi.edu/record/753835},
      title = {Graphical models for security second International  Workshop, GraMSec 2015, Verona, Italy, July 13, 2015,  Revised selected papers / [electronic resource] :.  International Workshop on Graphical Models for Security},
      abstract = {This volume constitutes the thoroughly refereed  post-conference proceedings of the Second International  Workshop on Graphical Models for Security, GraMSec 2015,  held in Verona, Italy, in July 2015. The 5 revised full  papers presented together with one short tool paper and one  invited lecture were carefully reviewed and selected from  13 submissions. The workshop contributes to the development  of well-founded graphical security models, efficient  algorithms for their analysis, as well as methodologies for  their practical usage, thus providing an intuitive but  systematic methodology to analyze security weaknesses of  systems and to evaluate potential protection measures.},
      doi = {https://doi.org/10.1007/978-3-319-29968-6},
      recid = {753835},
      pages = {1 online resource (ix, 103 pages) :},
}