loading...
A Correctness Proof of a Mesh Security Architecture
June 23-June 25
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSF.2008.232008 21st IEEE Computer Security Foun ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve Emeott, Mahesh Tripunitara, "A Correctness Proof of a Mesh Security Architecture," Computer Security Foundations Symposium, IEEE, pp. 315-330, 2008 21st IEEE Computer Security Foundations Symposium, 2008.
 
 
BibTex
x
 
@article{ 10.1109/CSF.2008.23,
author = {Doug Kuhlman and Ryan Moriarty and Tony Braskich and Steve Emeott and Mahesh Tripunitara},
title = {A Correctness Proof of a Mesh Security Architecture},
journal ={Computer Security Foundations Symposium, IEEE},
volume = {0},
year = {2008},
isbn = {978-0-7695-3182-3},
pages = {315-330},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSF.2008.23},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Security Foundations Symposium, IEEE
TI - A Correctness Proof of a Mesh Security Architecture
SN - 978-0-7695-3182-3
SP315
EP330
A1 - Doug Kuhlman,
A1 - Ryan Moriarty,
A1 - Tony Braskich,
A1 - Steve Emeott,
A1 - Mahesh Tripunitara,
PY - 2008
KW - 802.11s
KW - Protocol Composition Logic (PCL)
KW - Mesh Security Architecture (MSA)
KW - peer-to-peer
VL - 0
JA - Computer Security Foundations Symposium, IEEE
ER -
 
The IEEE 802.11s working group is tasked to provide ways of establishing and securing a wireless mesh network. One proposal establishes a Mesh Security Architecture (MSA), with a developed key hierarchy and full protocol definitions. This paper examines the correctness and security of the MSA proposal and its corresponding protocols. We utilize Protocol Composition Logic (PCL) to prove individual protocols secure, as well as their composition. We add to the structure of PCL, generalizing it for peer-to-peer applications. We also discuss two security issues we discovered with original versions of the proposals and our proposed remedies.
Index Terms:
802.11s, Protocol Composition Logic (PCL), Mesh Security Architecture (MSA), peer-to-peer
Citation:
Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve Emeott, Mahesh Tripunitara, "A Correctness Proof of a Mesh Security Architecture," csf, pp.315-330, 2008 21st IEEE Computer Security Foundations Symposium, 2008
Usage of this product signifies your acceptance of the Terms of Use.