연구 분야: Infrastructure
학회: The Journal of Supercomputing
In modern Internet of Things (IoT) environments, the demand for secure and efficient communication protocols is more urgent than ever due to privacy and security challenges. Current solutions often fail to adequately protect user anonymity and location privacy. The Constrained Application Protocol (CoAP), a lightweight communication protocol, is particularly suitable for resource-constrained devices in IoT and sensor networks. This paper provides a detailed analysis of CoAP’s security features using a modular symbolic model and the Tamarin prover. We identify a major flaw: insufficient anonymity, which could allow malicious attackers to track users’ location information. To address this issue, we propose CoAP , an enhanced version of the protocol that improves both anonymity and overall security. This research not only offers a practical method for analyzing the security of IoT devices but also highlights the importance of addressing anonymity concerns and suggests actionable improvement strategies.
| 발행 연도 | 2025년 |
|---|---|
| 인용수 | 0 |
| 출판 국가 | China |
| 사이트 | Springer |
| 좋아요 수 | 0 |