GraMSec

Publications

2014

Thomas Bauereiß, Dieter Hutter
Possibilistic Information Flow Control for Workflow Management Systems. GraMSec (2014)
Aitor Couce Vieira, Siv Hilde Houmb, David Ríos Insua
A Graphical Adversarial Risk Analysis Model for Oil and Gas Drilling Cybersecurity. GraMSec (2014)
Erlend Andreas Gjære, Per Håkon Meland
Threats Management Throughout the Software Service Life-Cycle. GraMSec (2014)
Cristian Prisacariu
Actor Network Procedures as Psi-calculi for Security Ceremonies. GraMSec (2014)
Ludovic Apvrille, Yves Roudier
Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems. GraMSec (2014)
Stéphane Paul
Towards Automating the Construction & Maintenance of Attack Trees: a Feasibility Study. GraMSec (2014)

volume 148, 2014

Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, April 12, 2014. GraMSec 148 (2014)