skip to main content
article

SLEDE: event-based specification of sensor network security protocols

Published: 01 November 2006 Publication History

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.

References

[1]
G. Denker and J. Millen. CAPSL integrated protocol environment. In DARPA Information and Survivability Conference and Exposition (DISCEX'00), pages 207--221, Hilton Head, South Carolina, Jan 2000.
[2]
D. Dolev and A. C. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, IT-29(12):198--208, mar 1983.
[3]
D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesC language: A holistic approach to networked embedded systems. In PLDI '03: Proceedings of the 2003 conference on Programming language design and implementation, pages 1--11, 2003.
[4]
G. J. Holzmann. The model checker spin. IEEE Transactions on Software Engineering, 23(5):279--95, May 1997.
[5]
J. K. Millen. CAPSL: Common authentication protocol specification language. In NSPW '96: Proceedings of the 1996 workshop on New security paradigms, page 132, 1996.
[6]
A. Perrig, R. Szewczyk, V. Wen, D. Culler, and J. Tygar. Spins: security protocols for sensor netowrks. In Proceedings of ACM Mobile Computing and Networking (Mobicom'01), pages 189--199, 2001.

Cited By

View all
  • (2008)SledeProceedings of the first ACM conference on Wireless network security10.1145/1352533.1352551(109-118)Online publication date: 31-Mar-2008

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 31, Issue 6
November 2006
182 pages
ISSN:0163-5948
DOI:10.1145/1218776
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 2006
Published in SIGSOFT Volume 31, Issue 6

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 18 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2008)SledeProceedings of the first ACM conference on Wireless network security10.1145/1352533.1352551(109-118)Online publication date: 31-Mar-2008

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media