Facilitating secure ad hoc service discovery in public environments

Feng Zhu, Matt Mutka, Lionel Ni
2005 Journal of Systems and Software  
Securely accessing unfamiliar services in public environments using ad hoc wireless networks is challenging. We present a proxy-based approach that uses other existing network channels to set up a secure and 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 protocols are formally verified using BAN logic. U→P: {C CS
doi:10.1016/j.jss.2004.07.014 fatcat:kvccpctj2zbtplkygvw67fgr2i