SLEDE

Youssef Hanna, Hridesh Rajan
2006 Software engineering notes  
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.
doi:10.1145/1218776.1218801 fatcat:qik5znlwyfbejd4ewqkth7msja