Model-Based Security Analysis in Additive Manufacturing Systems.
Michael R. DurlingAbha MoitraKit Y. SiuBaoluo MengJohn W. CarboneChristopher C. AlexanderKrystel K. Castillo-VillarGabriela F. CiocarliePublished in: AMSec@CCS (2022)
Keyphrases
- manufacturing systems
- security analysis
- public key
- petri net
- security requirements
- manufacturing environment
- smart card
- high security
- complex systems
- image encryption
- encryption scheme
- mutual authentication
- security properties
- authentication protocol
- holonic manufacturing systems
- authentication scheme
- video sequences