A new method of formalizing anonymity based on protocol composition logic. - Tao Feng; Shining Han; Xian Guo; Donglin Ma (Secur. Commun. Networks, 2015)