Repairing the Bluetooth Pairing Protocol.

Published in: Security Protocols Workshop (2005)

Keyphrases

mobile phone
lightweight
wifi
communication protocol
formal analysis
authentication protocol
communication protocols
real time
application layer
digital libraries
ubiquitous computing
short range
cryptographic protocols
medium access
coloured petri nets