Security analysis of Bluetooth Secure Simple Pairing protocols with extended threat model.

Published in: J. Inf. Secur. Appl. (2023)

Keyphrases

security analysis
security model
formal model
security properties
information systems
key exchange
software engineering
low cost
lightweight
high security