Formal Analysis of Security Properties on the OPC-UA SCADA Protocol.
Maxime PuysMarie-Laure PotetPascal LafourcadePublished in: SAFECOMP (2016)
Keyphrases
- formal analysis
- security properties
- formal methods
- security protocols
- cryptographic protocols
- ban logic
- key management
- security analysis
- formal model
- security requirements
- diffie hellman
- artificial intelligence
- key agreement
- model checking
- agent model
- security vulnerabilities
- formal specification
- standard model
- software engineering
- wireless sensor networks
- anomaly detection
- knowledge based systems
- modeling language