Towards Formal Security Analysis of Industrial Control Systems.
Marco RocchettoNils Ole TippenhauerPublished in: AsiaCCS (2017)
Keyphrases
- security analysis
- control system
- industrial automation
- smart card
- public key
- high security
- security model
- security requirements
- image encryption
- encryption scheme
- security properties
- authentication protocol
- critical infrastructure
- mutual authentication
- user authentication
- formal methods
- formal model
- authentication scheme
- databases
- real time
- encryption algorithm
- service oriented architecture
- intelligent agents
- multi agent systems
- proxy signature scheme