A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic.
Wesley dos Reis BezerraJean Everson MartinaCarlos Becker WestphallPublished in: Sensors (2023)
Keyphrases
- low power
- temporal logic
- model checking
- formal verification
- wide area network
- authentication mechanism
- model checker
- low cost
- power consumption
- high speed
- bounded model checking
- symbolic model checking
- data encryption
- formal specification
- formal methods
- linear temporal logic
- rfid tags
- embedded systems
- distributed databases
- data warehousing
- mobile devices