[ecoop-info] CfP MDSec - Workshop on Model-Driven Security at MoDELS 2012

[Nora Koch]

------------------------------------------
MDSec 2012 - Call for Papers
------------------------------------------
International Workshop on Model-Driven Security
MoDELS 2012 satellite event
October 1st, 2012 - Innsbruck (Austria)
http://mdsec2012.pst.ifi.lmu.de
------------------------------------------
Overview
------------------------------------------
Over the last years, we have seen many efforts invested in research on
engineering security aspects of software and systems. But we have also
seen spectacular security breaches and privacy leaks in web
applications, mobile apps, and enterprise systems. In fact, in both
the industrial and the academic context, we are still far from
satisfactory, integrative development approaches covering the many
different facets of security, like access control, secure user
interaction, privacy, secure protocols, trustworthiness, etc.
Model-driven and model-based approaches to security integrate security
aspects in the early phases of software development and at an abstract
level. They thus pave the way to reduce the gap between security
requirements and their enforcement mechanisms and to verify security
properties on an appropriate level of detail and following the
principle of separation of concerns. Designers can decouple functional
architecture from mechanisms that ensure the security properties of
the system.
The main objective of this Model-Driven Security workshop is to bring
together researchers and practitioners to discuss the approaches, key
issues, innovative applications, and trends in model-driven
engineering of secure software and systems. This workshop solicits
original research contributions, experience reports and industrial
position papers related to (but not limited to) the following topics
of interest:
------------------------------------------
Topics of interest
------------------------------------------
- Model-driven development of secure software and systems
- Domain-specific modeling languages (DSML) for secure software
- Modeling privacy for software systems
- Specification of security and privacy requirements and policies
- Model-based generation of test cases for security aspects
- Model-based dynamic security adaptation
- Model-based composition of security concerns
- Security and privacy preserving model transformations
- Security model analysis and implementation
- Model-based verification techniques for security properties
- Threats, vulnerability, and trust modeling
- Modeling security and privacy for different application domains,
like social networks, mobile apps, health-care
------------------------------------------
Submissions
------------------------------------------
Full papers should be up to 6 pages in length in ACM SIGS style
(http://www.acm.org/sigs/publications/proceedings-templates), short
papers up to 2 pages. Papers must be submitted through Easychair
(https://www.easychair.org/conferences/?conf=mdsec2012).
The program committee will peer-review the submissions and select
papers according to their relevance and interest for the discussions
that will take place at the workshop. Accepted papers will be made
available before the workshop, on the workshop web page. Polished
versions of accepted full and short papers will be published in in the
ACM Digital Library (DL).
------------------------------------------
Important Dates
------------------------------------------
Abstract submission deadline: 19 July 2012
Submission deadline: 26 July 2012
Notification to authors: 30 August 2012
Final version for website publication: 17 September
Workshop dates: 1 October 2012
Final version for ACM DL publication: (after the workshop, to be announced)
------------------------------------------
Program Committee
------------------------------------------
Dhouha Ayed, THALES Group, France
David Basin, ETH Zurich, Switzerland
Behzad Bordbar, University of Birmingham, UK
Achim Brucker, SAP Research, Germany
Fabian Buttner, INRIA Nantes, France
Manuel Clavel, IMDEA Software/Complutense University of Madrid, Spain
Jorge Cuellar, Siemens AG, Germany
Siv Hilde Houmb, Secure-Nok, Norway
Wouter Joosen, Katholieke Universiteit Leuven, Belgium
Jan Jürjens, Technical University Dortmund, Germany
Javier Lopez, Universidad de Malaga, Spain
Fabio Martinelli, CNR, Italy
Roie Melamed, IBM Haifa, Israel
Aljosa Passic, Atos, Spain
Kurt Stenzel, University of Augsburg, Germany
Ketil Stolen, SINTEF/University of Oslo, Norway
------------------------------------------
Organizing Committee
------------------------------------------
Benoit Baudry, INRIA, Rennes (France)
Marina Egea, Atos (Spain)
Geri Georg, Colorado State University (U.S.A.)
Alexander Knapp, University of Augsburg (Germany)
Nora Koch, Ludwig-Maximilians-Universität München and NTTDATA (Germany)