Huiying Liu, Wenting Dong, Huibiao Zhu, Ziqing Su. Formal Verification and Security Analysis of AMQP. In Hossain Shahriar, Hiroyuki Ohsaki, Moushumi Sharmin, Dave Towey, A. K. M. Jahangir Alam Majumder, Yoshiaki Hori, Ji-Jiang Yang, Michiharu Takemoto, Nazmus Sakib, Ryohei Banno, Sheikh Iqbal Ahamed, editors, 48th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2024, Osaka, Japan, July 2-4, 2024. pages 2177-2182, IEEE, 2024. [doi]
Abstract is missing.