Verification of $K$- and Infinite-Step Strong/Weak Anonymity Using Concurrent Compositions

Jiahui Zhang, Kuize Zhang, Xiaoguang Han +1

Anonymity is an information flow property that provides privacy protection in the sense of non-uniqueness of system information at certain moments with respect to observations. The…