Repairing the Bluetooth Pairing Protocol.

Ford-Long Wong Frank Stajano Jolyon Clulow

Published in: Security Protocols Workshop (2005)

Keyphrases

mobile phone
lightweight
network protocols
ubiquitous computing
coloured petri nets
mobile devices
medium access
tcp ip
security analysis
wifi
key distribution
communication protocols
authentication protocol
communication protocol
short range
model checking
metadata