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: Framework for Automatic Verification of Sensor Network Security Protocol Implementations

By Youssef Hanna and Hridesh Rajan

Abstract

Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a verification framework for sensor network applications. Key features include automation of: extraction of models, generation and composition of intrusion models, and verification of security properties.

Bibliographic Information

@InProceedings{Hanna-Hridesh-09,
author = {Youssef Hanna and Hridesh Rajan},
title = {Slede: Framework for Automatic Verification of Sensor Network Security Protocol Implementations},
booktitle = {ICSE '09: 31st International Conference on Software Engineering},
year = {2009},
month = {May},
location = {Vancouver, Canada},
}

Paper:[PDF].