Department of Computer Science
Laboratory for Software Design
The research and educational activities described on these pages has been supported in part by the US National Science Foundation (NSF) under grants CNS-06-27354, CNS-07-09217, and CAREER-08-46059.
Got a question?Got a question or comment? Contact us at (515) 294-6168 or hridesh@cs.iastate.edu. |
SLEDE: Event Based Specification of Sensor Network Security ProtocolsBy Youssef Hanna and Hridesh RajanAbstractThe 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 \mu Tesla, secure broadcast protocol for sensor networks. Bibliographic Information
@InProceedings{Hanna-Hridesh-06, Paper:[PDF]. |
Laboratory for Software Design, Department of Computer Science, Iowa State University
116A Atanasoff Hall, Ames, IA, 50011-1040, USA
Voice: (515) 294-6168 . Fax: (515) 294-0258 . E-Mail: hridesh@iastate.edu
Copyright © 2010, Iowa State University of Science and Technology. All rights reserved.