Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Slede: Lightweight Specification and Formal Verification of Sensor Networks Protocols.
[go: Go Back, main page]

Slede: Lightweight Specification and Formal Verification of Sensor Networks Protocols

These pages describe work carried out under the NSF grant CNS-0627354 on Specification and Verification Challenges for Security Protocols in Sensor Networks. The PI is Hridesh Rajan and much of the work is carried out by Youssef Hanna.

News

July 2008: Slede is available for download.

Dec 2007: Youssef's submission to the ACM Conference on Wireless Network Security (WiSec 08) accepted.

Sep 2007: Youssef's submission to the ESEC/FSE 2007 doctoral symposium accepted.

Nov 2006: Come by our poster presentation at FSE 2006.

July 2006: New Seminar on Security Properties of Software Systems.

July 2006: Slede web-site created and project initiation.

Oct, 2005: Project conception.

Slede Download


Slede is available for free for research and teaching purposes and for evaluation for commercial purposes subject to the following licensing agreement.

    Copyright (C) 2008, Iowa State University of Science and Technology. All rights reserved.

    The Slede compiler is available for free for non-profit research and educational purposes. For commercial licensing please contact Hridesh Rajan by sending an e-mail to hridesh@cs.iastate.edu. The compiler, tools, libraries and sources are licensed according to the following license: Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software") for non-profit research and educational purposes, to use this Software subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.


I agree, download Slede.