posted by organizer: pomarien || 4466 views || tracked by 9 users: [display]

SACPS 2015 : The First International Workshop on Security Aspects of Cyber Physical Systems

FacebookTwitterLinkedInGoogle

Link: http://satoss.uni.lu/sacps2015/
 
When Jun 2, 2015 - Jun 5, 2015
Where London, United Kingdom
Submission Deadline Feb 10, 2015
Notification Due Mar 20, 2015
Final Version Due Apr 1, 2015
Categories    formal method   security   cyber physical system   system modeling
 

Call For Papers

Cyber Physical systems (CPS) are complex due to the composition and the combination between the system's components and the physical elements. The physical parts are connected to a network, which is controlled by software components or manually some times. Examples of such systems can be found in avionics, automotive systems, nuclear power plants, etc.

Security of CPS is challenging due to the inherent complexity of CPS. Moreover, it is not sufficient to ascertain the security of the individual components in isolation: threats in CPS systems could also be due to the interaction between the physical, digital and software parts of CPS. Therefore, the system must be studied as a whole, which sets this emerging discipline apart from these individually established fields.

This workshop provides a platform for professionals from academia, government, and industry to discuss how to address the increasing security challenges facing CPS. Topics for the workshop include, but are not limited to:

+ Modeling CPS (formal models, UML, SysML, ADAAL, etc)
+ Design secure CPS
+ Risks analysis of CPS
+ Formal methods for CPS (abstraction, compositional verification, model checking, theorem proving, simulation, testing, etc)
+ Threat modeling for CPS
+ Security policies and access control for CPH
+ Safety and reliability analysis for CPS
+ Security requirements specification for CPS
+ Human aspects for CPS
+ Case studies, tools, and experemental results for CPH

Submission and Proceedings
All papers accepted for workshops will be included in the ANT 2015 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given on the ANT 2015 website. The number of pages for workshop papers is limited to 6 pages. Authors should submit their contributions here, electronically in PDF format.

Program committee
General chair
Sjouke Mauw, University of Luxembourg, Luxembourg.
PC chairs
Otmane Ait Mohamed, Concordia University, Canada.
Samir Ouchani, University of Luxembourg, Luxembourg.
PC members
Yamine Ait-Ameur (Ecole Nationale Supérieure de Mécanique et d'Aérotechnique, FR)
Vincent Aravantinos (Fortiss GmbH, D)
Yacine Atif (UAE University, UAE)
Hamad Binsalleeh (Al-Imam University, KSA)
Mourad Debbabi (Concordia University, CA)
Karim Djouani (Université Paris-Est Créteil, FR)
Jannik Dreier (ETH Zurich, CH)
Iqbal Farkhund (Zayed University, UAE)
Osman Hassan (National University of Science & Technology Pakistan, PK)
Hugo Jonker (University of Luxembourg, L)
Barbara Kordy (Université d'Orléans, FR)
Chamseddine Talhi (Ecole de Technologie Supérieure, CA)

Important dates
Paper Submission: February 10, 2015
Acceptance Notification: March 20, 2015
Final Manuscript Due: April 1, 2015
Workshop: 2-5 June, 2015

Related Resources

MWAIS 2018   13th Annual Conference of the Midwest Association for Information Systems
ICISIP 2017   The 5th IIAE International Conference on Intelligent Systems and Image Processing 2017
CFC-Data Analytics/Smart Cities 2017   Call for Chapters (Taylor & Francis): Data Analytics Applications for Smart Cities
ACSAC 2017   Annual Computer Security Applications Conference
CPSNGN 2017   Cyber-Physical Systems for Next Generation Networks
IJNGN 2017   International Journal of Next-Generation Networks
TMCE 2018   Tools and Methods for Competive Engineering
Future_Internet-SI 2017   Futute Internet - Special Issue on Security and Privacy in Wireless and Mobile Networks
SI: Cyber Forensics&Threat Intelligence 2017   IEEE Transactions on Sustainable Computing SI on Sustainable Cyber Forensics and Threat Intelligence
SMGSSP 2017   Smart Micro-Grid Systems Security and Privacy