Analysis of Octopus and Related Protocols

Summary

Octopus is Diffie Hellman based protocol that is used in ad-hoc networks to establish a group key. (A key shared among members of a group). This project analyzes Octopus and supporting protocols using the Murphi model checker.

Project report: pdf

Presentation Slides: ppt, pdf

Source Files: download

Last updated: March 26, 2006.