Login / Signup
From CA-BRS to BPMN: Formal Approach for Modeling Adaptive Security in Cyber-Physical Systems.
Ayoub Bouheroum
Djamel Benmerzoug
Sofiane Mounine Hemam
Faiza Belala
Published in:
TACC (2021)
Keyphrases
</>
cyber physical systems
cyber physical
cyber security
model driven
physical world
intrusion detection
business processes
business process
business process modeling
information security
embedded systems
mobile devices
network security
critical infrastructure