A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
SLEDE
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