Secure Communication Topologies in the Internet of Things
Abstract. Secure communication between smart devices is a key issue in the Internet of Things. In this thesis, we extend the HISP communication topology model with novel channel properties and introduce two types of channel restrictions in order to better model the interaction between humans and devices in the Internet of Things. We then analyze settings involving a human H, a smart device D and a smart phone P and see for which topologies there is a protocol that establishes a shared key between D and P and for which there is none. We then analyze the security of several real-world products from the realm of the Internet of Things.
Furthermore, we present an algorithm that works on general topologies consisting of an arbitrary number of devices and constructs protocols that provide authentic, confidential and secure channels between two designated nodes A and B in the network, if such protocols exist.