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

[Brahim HAMID]

Please  disseminate the ISSA 2018 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 2018 conference (https://esorics2018.upc.edu/)
              Barcelona, Spain, September 3-7 2018.
============================================================================

Several frameworks have been proposed to help the designers of software 
system applications. However, we currently lack methodological tool support
to take into account the interplay between security and safety and the 
other architecture properties. The main focus of ISSA workshop is on the 
topic
of making security and safety expert knowledge available to system and 
software engineering processes. Special emphasis will be devoted to 
promote discussion
and interaction between researchers and practitioners focused on the 
particularly challenging task to efficiently integrate 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, formal methods with pattern-based representation of 
security and safety solutions. Some of the topics that we seek to 
include in the workshop are
related to the development of concepts, modeling languages, evaluation 
and validation techniques, methods and tools to support the inclusion of 
security, safety
and architecture issues into the software engineering process. We are 
inviting the submission of papers with high quality research 
contributions, work in progress,
challenge problems, tool demonstrations, experimental and ongoing 
projects results. 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 18, 2018
- Acceptance Notification: July 16, 2018
- Camera Ready version: July 23, 2018
- 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=issa20180) no later than June, 
18 2018.
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 (University of Mälardalen, 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/


-- 
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/