Enhancing privacy and security in IoT: a CoAP protocol analysis and improvement approach


연구 분야: 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.


Author Profile
Guangying Cai

Henan Key Laboratory of Network Cryptography Technology 62 Science Avenue Zhengzhou 450000 Henan China

China
Author Profile
Liujia Cai

Henan Key Laboratory of Network Cryptography Technology 62 Science Avenue Zhengzhou 450000 Henan China

China
Author Profile
Xinyue Cui

Henan Key Laboratory of Network Cryptography Technology 62 Science Avenue Zhengzhou 450000 Henan China

China

📄 논문 정보

발행 연도 2025년
인용수 0
출판 국가 China
사이트 Springer
좋아요 수 0

연관 논문 목록 (292건)