Formal verification of security properties of the Lightweight Authentication and Key Exchange Protocol for Federated IoT devices.
Michal JaroszKonrad S. WronaZbigniew ZielinskiPublished in: FedCSIS (2022)
Keyphrases
- lightweight
- security properties
- formal verification
- diffie hellman
- key exchange protocol
- password authentication
- security analysis
- cryptographic protocols
- security requirements
- authentication protocol
- security protocols
- rfid tags
- model checking
- secure communication
- key exchange
- key agreement protocol
- formal model
- smart card
- formal methods
- security mechanisms
- key management
- wireless sensor networks
- public key
- information security
- cloud computing
- software architecture
- encryption scheme
- secret key
- data sources
- key distribution
- embedded systems
- low cost