- 期刊
- OpenAccess
Towards Provable Security for Data Transmission Protocols in Sensor Network
並列摘要
This paper presents a framework to analyze the security of data transmission protocols in wireless sensor network. This framework defines three attack models in terms of the adversary's attacking ability, and provides an ideal model to verify whether a given protocol is secure or not under these three different attack models. Furthermore, we give a formal security definition under different attack models for data transmission protocols. A security checking model is also presented, which describes the detailed steps of how to use the security definition to weigh the security level of a given protocol in the ideal model. A ”secure” directed diffusion protocol is analyzed to demonstrate the effectiveness of the security checking model. This is the first time that the notion of provable security is applied in wireless sensor networks.
延伸閱讀
- Wang, T., & Wang, J. (2022). Research on the Security Protection of Network Communication Data Using DES Encryption Algorithm. International Journal of Network Security, 24(4), 741-746. https://doi.org/10.6633/IJNS.202207_24(4).17
- 江建文（2010）。A Secure Data Aggregation Scheme using Implicit Security Technology for Wireless Sensor Networks〔碩士論文，國立臺灣大學〕。華藝線上圖書館。https://doi.org/10.6342/NTU.2010.02826
- Wu, W. N. (2013). A research on security analysis of communication protocols [master's thesis, National Taichung University of Science and Technology]. Airiti Library. https://doi.org/10.6826/NUTC.2013.00089
- 吳昌桓（2009）。An Intrusion Detection System Based On Network Protocol Behavior Monitoring〔碩士論文，國立臺灣大學〕。華藝線上圖書館。https://doi.org/10.6342/NTU.2009.03331
- Bhuyan, M. H., Bhattacharyya, D. K., & Kalita, J. K. (2015). Towards Generating Real-life Datasets for Network Intrusion Detection. International Journal of Network Security, 17(6), 683-701. https://doi.org/10.6633/IJNS.201511.17(6).05