Formal Security Analysis of Cloud-Connected Industrial Control Systems.
Tomas KulikPeter W. V. Tran-JørgensenJalil BoudjadarPublished in: SecITC (2018)
Keyphrases
- security analysis
- control system
- industrial automation
- smart card
- public key
- cloud computing
- security requirements
- security properties
- high security
- image encryption
- encryption scheme
- mutual authentication
- authentication protocol
- user authentication
- encryption algorithm
- authentication scheme
- formal methods
- multi agent systems
- information systems