Security Properties Of Device Pairing Protocols