A Formal Analysis of EnOcean's Teach-in and Authentication.
Katharina Hofer-SchmitzPublished in: ARES (2021)
Keyphrases
- formal analysis
- ban logic
- authentication protocol
- formal methods
- biometric authentication
- agent model
- factor authentication
- computer programming
- authentication mechanism
- security analysis
- databases
- security mechanisms
- wireless networks
- image authentication
- low cost
- software engineering
- relational databases
- database systems