posted by user: norakoch || 6299 views || tracked by 13 users: [display]

MDsec 2012 : International Workshop on Model-Driven Security


When Oct 1, 2012 - Oct 1, 2012
Where Innsbruck
Abstract Registration Due Jul 19, 2012
Submission Deadline Jul 26, 2012
Notification Due Aug 30, 2012
Final Version Due Sep 17, 2012
Categories    model-driven development   security   software engineering

Call For Papers

MDSec 2012 - Call for Papers

International Workshop on Model-Driven Security
MoDELS 2012 satellite event

October 1st, 2012 – Innsbruck (Austria)


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


Full papers should be up to 15 pages in length in ACM small standard
format style
short papers up to 8 pages and position papers of 2 pages. Papers must
be submitted through Easychair

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, 2012
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, School of computer Science, University of Birmingham, UK
Achim Brucker, SAP Research, Germany
Fabian Büttner, 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
Miguel Ponce de León, Waterford Institute of Technology, Ireland
Kurt Stenzel, University of Augsburg, Germany
Ketil Stølen, 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-University of Munich and NTTDATA, Germany

Related Resources

MODELS 2022   MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
IJANS 2022   International Journal on AdHoc Networking Systems
MDE Intelligence 2022   The 4th Workshop on Artificial Intelligence and Model-driven Engineering
BIOS 2022   8th International Conference on Bioinformatics & Biosciences
EvoCompAISecurity&Privacy 2022   Evolutionary Computing for AI-Driven Security and Privacy: Advancing the state-of-the-art applications
IEEE ICSTE 2022   IEEE--2022 12th International Conference on Software Technology and Engineering (ICSTE 2022)
MODELSWARD 2023   11th International Conference on Model-Based Software and Systems Engineering
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
MDASD 2022   7th Workshop on Model Driven Approaches in System Development
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation