Yating Wang, Yuichi Goto. An Extension of Formal Analysis Method with Reasoning for Anonymity. In Ngoc Thanh Nguyen, Kietikul Jearanaitanakij, Ali Selamat, Bogdan Trawinski, Suphamit Chittayasothorn, editors, Intelligent Information and Database Systems - 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part II. Volume 12034 of Lecture Notes in Computer Science, pages 53-64, Springer, 2020. [doi]
Abstract is missing.