Formal Analysis of Distance Bounding with Secure Hardware.
Handan KilinçSerge VaudenayPublished in: ACNS (2018)
Keyphrases
- formal analysis
- payment protocol
- ban logic
- hardware and software
- low cost
- formal methods
- real time
- distance measure
- upper bound
- computer systems
- distance function
- agent model
- trusted computing
- databases
- knowledge acquisition
- wireless sensor networks
- artificial intelligence
- machine learning
- key management
- security analysis
- database