[ecoop-info] International workshop on Interplay of Security, Safety and System/Software Architecture (ISSA) at ESORICS

[Brahim HAMID]

Please  disseminate the ISSA 2019 workshop CFP  to your colleagues, 
project and industrial partners and phd students that could be interested.

============================================================================
    International workshop on Interplay of Security, Safety and
         System/Software Architecture (ISSA)
http://www.irit.fr/issa
in conjunction with ESORICS 2019 conference (https://esorics2019.uni.lu/)
              Luxembourg, September 23-27 2019.
============================================================================

The overall objective of this workshop is to discuss advances in reusing 
and incorporating  security and safety solutions in software systems.
First of all, the workshop will focus on the definition of “security and 
safety by design” processes which maintain separation of concerns.
This involves approaches for designing security and safety mechanisms 
separately, as well as approaches for integrating them.
Secondly, the workshop will focus on supporting specific processes on 
various application domains.

Special emphasis will be devoted to promoting discussion and interaction 
between researchers and practitioners focused on the particularly
challenging task of efficiently integrating security and safety 
solutions within the restricted available design space for software 
systems.
Furthermore, one important focus is on the potential benefits of the 
combination of model-driven engineering and formal methods with 
pattern-based
representation of security and safety solutions. Of particular interest 
is the exchange of concepts, prototypes and other results which advance
the state of the art and/or the state of practice of the field. Some of 
the topics that we seek to include in the workshop are related to the
development of modeling languages, methods and tools to support the 
inclusion of security, safety and architecture issues into the software
engineering process. Topics of interest include, but are not limited to:

- Modeling the interplay of security and safety within architectural models
- Formalization of security and safety properties
- Verification, testing and validation of security, safety and 
architecture properties by design
- Design processes of security and safety patterns and tactics
- Model-based repository of security and safety patterns and tactics
- Security and safety requirements engineering for system and software 
development
- Validation of security and safety properties upon integration
- Architecture decisions related to safety and security
- Tradeoff between safety/security and other quality attributes
- Evaluation of architecture, security and safety and their subsequent 
redesign
- Defining resilient architectures for achieving security, safety and 
managing their trade-offs
- Architecture-level diversity for security and safety
- (Architecture-level) compliance and standards for security and safety
- Co-engineering processes of security and safety
- Customization of application domain-specific processes
- Tool support for the modeling, deployment and configuration of 
security and safety by design

Important dates:
-----------------
- Paper submission: June 21, 2019
- Acceptance Notification: July 19, 2019
- Camera Ready version: July 26, 2019
- Workshop day:  please refer the ESORICS main conference program

Publication:
--------------
- Accepted papers will be published in the ACM  ICPS
- Selected papers will be invited to a future journal special issue 
(pending approval)

Submission:
------------
All submitted papers must be written in English and formatted according 
the ACM format and submission guidelines 
(http://www.acm.org/publications/proceedings-template).
The submission should be done in PDF-format via our submission system 
(https://easychair.org/conferences/?conf=issa20190) no later than June, 
21 2019.
We are inviting the submission of papers with high quality research 
contributions, work in progress, experimental and ongoing projects results.
The following types of submission are accepted:
- Long papers (7 pages): reporting substantial, completed, and 
previously unpublished research.
- Short papers (4 pages): describing challenge problems, tool 
demonstrations, work in progress or industrial experiences.

Co-organizers:
---------------
- Brahim Hamid (IRIT-University of Toulouse , France), brahim.hamid at irit.fr
- Barbara Gallina (Mälardalen University, Sweden), barbara.gallina at mdh.se


-- 
Dr. Brahim HAMID
CNRS/IRIT Laboratory, Institut de Recherche en Informatique de Toulouse
(computer science research institute of toulouse)
118 Route de Narbonne, 31062 Toulouse Cedex 9, France
phone: +33 (0)5 6150 2386
mobile: +33 (0)6 8549 6809
e-mail: hamid at irit.fr
web: http://www.irit.fr/~Brahim.Hamid
http://www.semcomdt.org/