Formal Verification of Safety and Security Properties in Industry 4.0 Applications.
Ali Mohammad HosseiniThilo SauterWolfgang KastnerPublished in: ETFA (2023)
Keyphrases
- formal verification
- security properties
- cryptographic protocols
- model checking
- formal model
- security requirements
- security analysis
- bounded model checking
- formal methods
- automated verification
- model checker
- security protocols
- symbolic model checking
- security vulnerabilities
- public key
- temporal logic
- smart card
- case study
- formal specification
- low cost
- data mining