Key distribution is required to secure e-health applications in the context of Internet of Things
(IoT). However, resources constraints in IoT make these applications unable to run existing …

Seamless roaming in the global mobility network (GLOMONET) is highly desirable for
mobile users, although their proper authentication is challenging. This is because not only …

This paper surveys how formal verification can be used to prove the correctness of ad hoc
routing protocols, which are fundamental infrastructure of wireless sensor networks. The …

Wearable devices are parts of the essential cost of goods sold (COGS) in the wheel of the
Internet of things (IoT), contributing to a potential impact in the finance and banking sectors …

Short message service (SMS) provides a wide channel of communication for banking in
mobile commerce and mobile payment. The transmission of SMS is not secure in the …

Since wireless sensor networks (WSN) are often deployed in an unattended environment
and sensor nodes are equipped with limited computing power modules, user authentication …

Gorrieri and Martinelli's timed Generalized Non-Deducibility on Compositions (tGNDC)
schema is a well-known general framework for the formal verification of security protocols in …

Several different secure routing protocols have been proposed for determining the
appropriate paths on which data should be transmitted in ad hoc networks. In this paper, we …

Password‐authenticated group key exchange protocols enable communication parties to
establish a common secret key (a session key) by only using short secret passwords. Such …

The smart healthcare system advancements have introduced the Internet of Things,
enabling technologies to improve the quality of medical services. The main idea of these …