A Correctness Proof of a Mesh Security Architecture
2014 ◽
Vol 36
(9)
◽
pp. 1765-1784
◽
Keyword(s):