[DMANET] GraMSec'14 CALL FOR PARTICIPATION

*******************************************************************           
                        CALL FOR PARTICIPATION
  The First International Workshop on Graphical Models for Security
                              GraMSec'14
                   April 12, 2014, Grenoble, France
                      http://www.gramsec.uni.lu/
                     (Co-located with ETAPS 2014)
*******************************************************************                                                                                                                                                                                    
-- GraMSec REGISTRATION IS NOW OPEN --

To register please follow the instructions given
At http://www.gramsec.uni.lu/registration.php


-- ABOUT GraMSec --

Graphical security models provide an intuitive but systematic
methodology to analyze security weaknesses of systems and to evaluate
potential protection measures. Such models have been subject of
academic research and they have also been widely accepted by the
industrial sector, as a means to support and facilitate threat
analysis and risk management processes. The objective of GraMSec is to
contribute to the development of well-founded graphical security
models, efficient algorithms for their analysis, as well as
methodologies for their practical usage.


-- ACCEPTED PAPERS --

* Erlend Andreas Gjære and Per Håkon Meland
Threats Management Throughout the Software Service Life-cycle

* Ludovic Apvrille and Yves Roudier
Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems

* Thomas Bauereiss and Dieter Hutter
Possibilistic Information Flow Control for Workflow Management Systems

* Stéphane Paul
Towards Automating the Construction & Maintenance of Attack Trees: a Feasibility Study

* Cristian Prisacariu
Actor Network Procedures as Psi-calculi for Security Ceremonies
   
* Aitor Couce Vieira, Siv Hilde Houmb, and David Rios Insua
A Graphical Adversarial Risk Analysis Model for Oil and Gas Drilling Cybersecurity


-- KEYNOTE SPEAKER --
Dr. Ketil Stølen
Graphical Models for Security: Overview, Challenges, and Recommendations


-- GENERAL CHAIR --
Sjouke Mauw, University of Luxembourg, LU


-- PC CO-CHAIRS --
Barbara Kordy, University of Luxembourg, LU
Wolter Pieters, Delft University of Technology and University of Twente, NL


-- CONTACT --
For inquiries please send an e-mail to gramsec@uni.lu




**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************