posted by organizer: rjrodriguez || 7880 views || tracked by 12 users: [display]

S4CIP 2016 : 1st International Workshop on Safety & Security aSSurance for Critical Infrastructures Protection

FacebookTwitterLinkedInGoogle

Link: http://www.dimat.unina2.it/marrone/s4cip16.html
 
When May 23, 2016 - May 26, 2016
Where Madrid
Submission Deadline Jan 7, 2016
Notification Due Feb 18, 2016
Final Version Due Mar 5, 2016
Categories    safety   security   modeling   engineering
 

Call For Papers

*****************************************************************************
CALL FOR PAPERS -- S4CIP 2016
1st International Workshop on Safety & Security aSSurance for Critical Infrastructures Protection

Co-located with ANT 2016: 7th International Conference on Ambient Systems, Networks and Technologies
May 23–26, 2016, Madrid, Spain – (workshop date to be defined)
Web: http://www.dimat.unina2.it/marrone/s4cip16.html

# Important Dates
**********************************************
Paper Submission: January 7, 2016
Notification of Acceptance: February 18, 2016
Camera-ready Paper: March 5, 2016
**********************************************

# Objectives and scope
Modern society heavily relies on large, heterogeneous and complex software-intensive systems to support all kinds of daily activities. Services such as urban transportation, logistics, health-care, data communication, railway, aerospace, and power distribution, to name a few, are becoming more and more dependent on the availability of such infrastructures. Any discontinuity of service may lead to serious problems, from severe financial losses to fatalities or injuries; the causes have different natures, either human errors, unexpected acts of nature, or intentional attacks like sabotage. Safety and security (S&S) assessments in critical infrastructures measure how these disruptions are handled and what is the impact suffered by the critical infrastructure under stress. These assessments are normally performed using analytical or simulation-based techniques often addressing one single specific aspect at a time rather than studying these infrastructures in a holistic manner.

This workshop aims at providing a forum for people from academia and industry to communicate their latest results on theoretical advances, industrial case studies, practical scenarios, and lessons learned in the assurance of S&S for critical infrastructures. Since the special interest on S&S assurance, a special focus will be put on model-based approaches; to the joint modelling and analysis of both cyber and physical aspects of critical infrastructures; and to the definition of unifying modelling and analysis methodologies. Research papers focused on safety or security assurance only are also welcome.

Topics of interests are, but not limited to:

* Methods and Methodologies: Threat, Vulnerability and Risk
Assessment; Model-Based Penetration Testing; Security Metrics Definition and
Evaluation; RAMSS Analysis; Crisis and Emergency Management; Unifying Modelling
Methodologies for Cyber and Physical Security; Resilience Engineering.
* Modelling: Stochastic Modeling; Formal Methods; Domain Specific Languages and Model-Driven Engineering; Multi-Level Hierarchical Modeling; Multi-Paradigm Modeling.
* Analysis: Quantitative & Qualitative Evaluation; Interconnections Among Non-Functional Aspects (e.g., Reliability vs.
Safety, Security vs. Performance); Multisolution Processes; Resilience Analysis.
* Domains: Cyber-Physical Systems; Critical Infrastructure Protection; SCADA and Control Systems Security; Homeland Security; Transport, Manufacturing, Energy, Health and Banking Applications; Computer Networks and Cloud Infrastructures.

# Paper Submission

Accepted papers will be included in the ANT proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line. At least one of the (co)author(s) of each accepted paper is required to register and attend the conference to present the work. PDF versions of papers should be submitted through EasyChair submission system (https://easychair.org/conferences/?conf=s4cip). The maximum length is 6 pages formatted according to the guidelines of Procedia Computer Science (http://www.elsevier.com/journals/procedia-computer-science/1877-0509/guide-for-authors). Two additional pages may be added for a price. Please refer to the pages of ANT 2016 for more detail on this.

Submitted papers will be reviewed by three members of Program Committee (or their sub-reviewers) and selection of accepted papers will based on relevance, quality and originality.

After the conference, extended versions of selected contributions will be consider for publication in a Special Issue of the International Journal of Critical Computer-Based Systems (http://www.inderscience.com/jhome.php?jcode=ijccbs). Those papers will undergo at least one other review round.

# PC Chairs
Stefano Marrone, Seconda Universitá di Napoli (Italy)
Ricardo J. Rodríguez, Universidad de Zaragoza (Spain)

# PC Members
Simona Bernardi, Centro Univesitario de la Defensa, Universidad de Zaragoza (Spain)
Tomas Bures, Charles University in Prague (Czech Republic)
Xiaolin Chang, Beijing Jiaotong University (China)
Francesco Flammini, AnsaldoSTS (Italy)
Juan Felipe García, Research Institute of Applied Sciences in Cybersecurity - University of León (Spain)
Silvio La Porta, EMC2 (Ireland)
Anne Koziolek, Institute for Program Structures and Data Organization, Karlsruhe Institute of Technology (Germany)
Stefano Marrone, Seconda Universitá di Napoli (Italy)
Roberto Nardone, Universitá di Napoli "Federico II" (Italy)
Giuseppe Primiero, Middlesex University (United Kingdom)
Guillermo Rodriguez-Navas, Mälardalen University (Sweden)
Ricardo J. Rodríguez, Universidad de Zaragoza (Spain)
Kristin Rozier, NASA/Cincinnati University (USA)
Kumiko Tadano, NEC Laboratory for Analysis of System Dependability (Japan)
Stefano Tonetta, Fondazione Bruno Kessler (Italy)
Catia Trubiani, Gran Sasso Science Institute (Italy)
Valeria Vittorini, Università di Napoli "Federico II" (Italy)

*****************************************************************************

Related Resources

IJIS Special Issue 2024   Reinforcing Cyber Security of Critical Infrastructures through Digital Twins
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
CIPHERSS 2024   1st Workshop on Critical Infrastructure PHysical-cybER Safety and Security
CSW 2024   2024 3rd International Conference on Cyber Security
AI Safety 2024   Special Issue for the Journal Frontiers in Robotics and AI on AI Safety: Safety Critical Systems
CRBL 2024   International Conference on Cryptography and Blockchain
IJIS Special Issue 2024   Reinforcing Cyber Security of Critical Infrastructures through Digital Twins
ECTIJ 2024   Economics, Commerce and Trade Management: An International Journal
CPS4CIP 2024   The 5th International Workshop on Cyber-Physical Security for Critical Infrastructures Protection (CPS4CIP 2024)
CEVVE 2024   2024 2nd International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2024)