**A Correctness Proof of a Mesh Security Architecture**

Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve Emeott and Mahesh Tripunitara

Additional information is available at the end of the chapter

http://dx.doi.org/10.5772/49051
