Analysis of 802.16e Multicast-Broadcast Key Distribution Protocols

Summary

802.16e is the IEEE wireless MAN standard. This project analyzes the multicast-broadcast key distribution protocols within this standard. The model checker Murphi is used to perform the analysis.

Project report: pdf

Presentation Slides: ppt, pdf

Source Files: download

Last updated: March 26, 2006.