Analysis of SuperSEAD: A secure Ad Hoc Routing Protocol

Summary

This project analyses a secure routing protocol using Murphi, a state machine checker. The analysis strategy uses an equivalence notion of security. It considers the comparison of the secure protocol in the presence of attackers with its un-secured counterpart, in the absence of attackers.

Project report: html, pdf

Presentation Slides: ppt, pdf

Source Files: download

Last updated: May 05, 2004.