Facilitating secure ad hoc service discovery in public environments

摘要

Securely accessing unfamiliar services in public environments using ad hoc wireless networks is challenging. We present a proxy-based approach that uses alternative network channels to establish a secure trust relationship between communication parties to facilitate ad hoc wireless communications. Based on a service discovery protocol, our models achieve secure, trusted, anonymous, efficient, and economical communications between unfamiliar parties. Our protocol design is formally verified using BAN logic. (C) 2004 Elsevier Inc. All rights reserved.