An Extension of Formal Analysis Method with Reasoning for Anonymity.

Yating Wang, Yuichi Goto

Browse the full ACIIDS paper archive.