posted by user: bhamid || 1946 views || tracked by 5 users: [display]

ISSA 2016 : International workshop on Interplay of Security, Safety and System/Software Architecture

FacebookTwitterLinkedInGoogle

Link: http://www.irit.fr/issa
 
When Nov 28, 2016 - Dec 2, 2016
Where Istanbul, Turkey
Submission Deadline Sep 2, 2016
Notification Due Sep 16, 2016
Final Version Due Sep 20, 2016
Categories    software architecture   dependability   cyber security   software engineering
 

Call For Papers

============================================================================
ISSA : International workshop on Interplay of Security, Safety and
System/Software Architecture (ISSA)
In conjunction with ECSA 2016 conference (http://ecsa2016.iku.edu.tr)
Copenhagen, Denmark from November 28 to December 2 2016
http://www.irit.fr/issa
============================================================================

- Important dates:

* Paper submission: September 02, 2016
* Acceptance Notification: September 16, 2016
* Camera Ready version: September 20, 2016
* Workshop day: From November 28 to December 2, 2016

- Publication:

* Accepted papers will be published in the ACM Digital Library (pending approval)
* Selected papers will be invited to a future journal special issue (pending approval)


- CFP:

The overall objective of this workshop is discuss advances in reusing security and safety mechanisms 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 dependability solutions. Of particular interest
is the exchange of concepts, prototypes, research ideas, and other results which contribute to the academic area and also benefit
business and industrial communities. 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 architecture, security and safety 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
* Tradeoffs between quality attributes and safety/security
* Evaluation of architecture, security and safety and their subsequent redesign
* Adaptable architectures for achieving security, safety and managing their trade-offs
* Architectural support for self-protecting, self-healing, self-repairing, self-stabilizing systems
* Architecture-level diversity for security and safety
* (Architecture-level) compliance and standards for security and safety
* Integration processes of security, safety and architecture
* Customization of application domain-specific processes
* Support tools for assisting modeling, deployment and configuration of security and safety by design
* Case studies, empirical results, experience reports, benchmarks and artifacts

- Submission:

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.

* Format: All submitted papers must be written in English and conform to the ACM double column format (10pt, single-space,
double-column and include an abstract of up to 150 words...). The format of submissions should follow ACM Formatting Guidelines
(http://www.acm.org/sigs/publications/proceedings-templates). The submission should be done in PDF-format via our submission system
(https://easychair.org/conferences/?conf=issa20160) before May 18, 2016.

- Organizers :

* Brahim Hamid (IRIT-University of Toulouse , France), brahim.hamid@irit.fr
* Paris Avgeriou (University of Groningen, the Netherlands), paris@cs.rug.nl
* Uwe Zdun (University of Vienna, Austria), uwe.zdun@univie.ac.at

- Program Committee:

* Andrea Bandavalli (University of Florence, Italy)
* Veronique Delebarre (SafeRiver, France)
* Rogério de Lemos (University of Kent, UK)
* Edouardo Fernandez (Florida Atlantic University, USA)
* Cecília Mary Fischer Rubira (Institute of Computing, UNICAMP, Brazil)
* Barbara Gallina (University of Mälardalen, Sweden)
* David Gonzalez (IKERLAN-IK4 Research Centre, Spain)
* Stefan Gruner (University of Pretoria, South Africa)
* Sigrid Gurgens (Fraunhofer SIT, Germany)
* Christophe Jouvray (Trialog, France)
* Jan Jurjens (Univeristy of Dortmund, Germany)
* Ferhat Khendek (University of Concordia, Canada)
* Agnes Lanusse (CEA List, France)
* Thierry Lecomte (ClearSy, France)
* Simin Nadjm-Tehrani (Linkping University, Sweden)
* Genaina Rodrigues (University of Brasilia, Brazil)
* Carsten Rudolph (University of Monash, Australia)
* Jungwoo Ryoo (The Pennsylvania State University-Altoona, USA)
* Francesca Saglietti (University of Erlangen-Nurnberg, Germany)
* Lionel Seinturier (University of Lille, France)
* Mark Strembeck (University fo Vienna, Austria)
* Matthias Tichy (University of ULM, Germany)
* Frederique Vallee (All4tec, France)
* Yanjun Wen (National University of Defense Technology, China)

Related Resources

SEKE 2017   The Twenty-Ninth International Conference on Software Engineering and Knowledge Engineering
ESARDA 2017   ESARDA Symposium 2017 - 39th ESARDA Annual Meeting
ICCTD 2017   8th International Conference on Computer Technologies and Development-EI, Scopus, and ISI CPCS
ACISP 2017   Australasian Conference on Information Security and Privacy
WCSE 2017   7th International Workshop on Computer Science and Engineering --Scopus & Ei compendex
ModComp 2016   3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2016
CyberSec 2017   The Fifth International Conference on Cyber Security, Cyber Welfare and Digital Forensic
ESEC/FSE 2017   11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
PACT 2017   International Conference on Parallel Architectures and Compilation Techniques
NFM 2017   The 9th NASA Formal Methods Symposium