A SysML Extension for Security Analysis of Industrial Control Systems.
Laurens LemaireJorn LaponBart De DeckerVincent NaessensPublished in: ICS-CSR (2014)
Keyphrases
- security analysis
- control system
- safety analysis
- industrial automation
- smart card
- security requirements
- public key
- high security
- image encryption
- user authentication
- security properties
- mutual authentication
- authentication protocol
- encryption scheme
- critical infrastructure
- encryption algorithm
- real time
- modeling language
- information systems
- databases
- authentication scheme