SLEDE: event-based specification of sensor network security protocols

Authors:
Youssef Hanna;Hridesh Rajan
Affiliations:
Iowa State University, Ames, IA;Iowa State University, Ames, IA
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2006

Citing 4
Cited 1

The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
CAPSL: Common Authentication Protocol Specification Language

NSPW '96 Proceedings of the 1996 workshop on New security paradigms
SPINS: security protocols for sensor networks

Proceedings of the 7th annual international conference on Mobile computing and networking
The nesC language: A holistic approach to networked embedded systems

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation

Slede: a domain-specific verification framework for sensor network security protocol implementations

WiSec '08 Proceedings of the first ACM conference on Wireless network security

Quantified Score

Hi-index	0.00

Visualization

Abstract

The semantic gap between specification and implementation languages for sensor networks security protocols impedes the specification and verification of the protocols. In this work, we present SLEDE, an event-based specification language and its verifying compiler that address this semantic gap. We demonstrate the features of SLEDE through an example specification of the μTesla, secure broadcast protocol for sensor networks.