ComputingComputer ScienceCybersecurityComputer SecurityNetwork SecuritySecurity ProtocolsNetwork Protocol VulnerabilitiesProtocol AnalysisProtocol VerificationSecure Wireless ProtocolsWireless Security ProtocolsProtocol TestingSecurity TestingSybil Attack Detection
In this paper, we propose an object-oriented attack model to represent a protocol attack in WSN detailedly. The model describes multiple attributes of an attack, including its principle, impact, interdependent relationships with other attacks, etc. Then, on the basis of the attack model and the FSM description method, we present a security testing approach for WSN protocols, in order to evaluate the security of the tested protocols. Finally, we take the TinyPK protocol and Sybil attack for example to implement our design, and the Protocol Security Testing Report shows as expected that the TinyPK cannot resist the Sybil attack. Thus, the security testing approach proposed is feasible.
9
SPINS: Security Protocols for Sensor Networks
Adrian Perrig, Robert Szewczyk, J. D. Tygar et al. · Wireless Networks · 2002 · 2.2K citations
Chris Karlof, Naveen Sastry, David Wagner · 2004 · 1.6K citations
Security in wireless sensor networks
Adrian Perrig, John A. Stankovic, David Wagner · Communications of the ACM · 2004 · 1.5K citations · Full text
Ronald Watro, Derrick Kong, Sue-fen Cuti et al. · 2004 · 637 citations