A framework for proving the security of data transmission protocols in sensor network

Authors:
Mi Wen;Ling Dong;Yanfei Zheng;Kefei Chen
Affiliations:
Department of Computer Science and Engineering Shanghai Jiao Tong University, Shanghai, China, P.R.C.;Department of Computer Science and Engineering Shanghai Jiao Tong University, Shanghai, China, P.R.C.;Department of Computer Science and Engineering Shanghai Jiao Tong University, Shanghai, China, P.R.C.;Department of Computer Science and Engineering Shanghai Jiao Tong University, Shanghai, China, P.R.C.
Venue:
PAISI'07 Proceedings of the 2007 Pacific Asia conference on Intelligence and security informatics
Year:
2007

Citing 7
Cited 0

Directed diffusion for wireless sensor networking

IEEE/ACM Transactions on Networking (TON)
Fault-oriented Test Generation for Multicast Routing Protocol Design

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Verification Tools for Finite-State Concurrent Systems

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
A Meta-Notation for Protocol Analysis

CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Modern Cryptography: Theory and Practice

Modern Cryptography: Theory and Practice
Provable security of on-demand distance vector routing in wireless ad hoc networks

ESAS'05 Proceedings of the Second European conference on Security and Privacy in Ad-Hoc and Sensor Networks
SDD: secure directed diffusion protocol for sensor networks

ESAS'04 Proceedings of the First European conference on Security in Ad-hoc and Sensor Networks

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an framework to analyze the security of data transmission protocols in wireless sensor network (WSN). The proposed framework is based on the simulation paradigm and it defines three attack models in terms of the adversary's attacking ability. Furthermore, it provides a ideal model to verify whether a given protocol is secure or not under these three different attack models. The framework is proved to be effective by analyzing a "secure" data transmission protocol SDD. This is the first time that the notion of provable security is applied in wireless sensor networks.