A security proof for 802.11s protocols
The IEEE 802.11s working group was tasked to provide ways of establishing and securing a wireless mesh network. One proposal established a Mesh Security Architecture (MSA), with a developed key hierarchy and full protocol definitions. This talk examines the correctness and security of the MSA proposal and its corresponding protocols. …