Towards Formally Verified Key Management for Industrial Control Systems.
Tomas KulikJalil BoudjadarDiego F. AranhaPublished in: FormaliSE@ICSE (2020)
Keyphrases
- key management
- control system
- industrial automation
- ad hoc networks
- wireless sensor networks
- resource constrained
- key management scheme
- secret sharing scheme
- security threats
- key distribution
- provably secure
- secret key
- digital signature
- identity based cryptography
- elliptic curve
- security protocols
- group communication
- security services
- signcryption scheme
- control law
- routing protocol
- distributed systems
- key establishment
- bilinear pairings