Formal Verification and Security Analysis of AMQP.

Huiying Liu, Wenting Dong, Huibiao Zhu, Ziqing Su

Browse the full COMPSAC paper archive.