Abstract
Along with the development of IoT applications, wearable devices are becoming popular for monitoring user data to provide intelligent service support. The wearable devices confront severe security issues compared with traditional short-range communications. Due to the limitations of computation capabilities and communication resources, it brings more challenges to design security solutions for the resource-constrained wearable devices in IoT applications. In this work, a yoking-proof-based authentication protocol (YPAP) is proposed for cloud-assisted wearable devices. In the YPAP, a physical unclonable function and lightweight cryptographic operators are jointly applied to realize mutual authentication between a smart phone and two wearable devices, and yoking-proofs are established for the cloud server to perform simultaneous verification. Meanwhile, Rubin logic-based security formal analysis is performed to prove that the YPAP has theoretical design correctness. It indicates that the proposed YPAP is flexible for lightweight wearable devices in IoT applications.
| Original language | English |
|---|---|
| Pages (from-to) | 469-479 |
| Number of pages | 11 |
| Journal | Personal and Ubiquitous Computing |
| Volume | 20 |
| Issue number | 3 |
| DOIs | |
| State | Published - 1 Jun 2016 |
| Externally published | Yes |
Keywords
- Authentication protocol
- IoT
- Rubin logic
- Wearable device
- Yoking-proof