Secure Device Pairing Based on a Visual Channel: Design and Usability Study