Usable Security and Verification for Distributed Robotic Systems