Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation.
Eun-Young KangSimon HacksPublished in: MECO (2023)
Keyphrases
- manufacturing systems
- security analysis
- formal verification
- authentication protocol
- encryption algorithm
- model checking
- flexible manufacturing systems
- manufacturing environment
- petri net
- public key
- security properties
- security requirements
- smart card
- complex systems
- encryption scheme
- user authentication
- image encryption
- symbolic model checking
- secret key
- mutual authentication
- artificial intelligence
- defense mechanisms
- password guessing
- ad hoc networks
- distributed systems
- holonic manufacturing systems
- object oriented
- cooperative