International Association for Cryptologic Research

International Association
for Cryptologic Research


Paper: A Proof of Security of a Mesh Security Architecture

Doug Kuhlman
Ryan Moriarty
Tony Braskich
Steve Emeott
Mahesh Tripunitara
Search ePrint
Search Google
Abstract: The IEEE 802.11s standard is tasked to provide ways of establishing and securing a wireless mesh network. One proposal establishes a Mesh Security Architecture (MSA), with an interesting key hierarchy and full protocol definitions. This paper proves the correctness and security of the MSA proposal and its corresponding protocols. We also propose and prove the security of an additional protocol (an abbreviated handshake) which offers a substantial efficiency improvement in certain instances. To prove the entire architecture secure, we utilize Protocol Composition Logic (PCL) to prove each protocol secure. From that basis, we can show the protocols compose securely to prove the entire architecture. We also contribute some novel concepts to PCL, to allow us to prove the security of the overall architecture.
  title={A Proof of Security of a Mesh Security Architecture},
  booktitle={IACR Eprint archive},
  keywords={cryptographic protocols / IEEE 802.11s, protocol proving, mesh security architecture, protocol composition logic (PCL)},
  note={ 13768 received 12 Sep 2007},
  author={Doug Kuhlman and Ryan Moriarty and Tony Braskich and Steve Emeott and Mahesh Tripunitara},