Verifying the Communication and Security Mechanisms of WAMP.

Han Bao, Chenhui Wang, Huibiao Zhu

Browse the full SEKE paper archive.