A Correctness Proof of a Mesh Security Architecture | IEEE Conference Publication | IEEE Xplore