A Verification Framework for Stateful Security Protocols. - Li, Li; Dong, Naipeng; Pang, Jun; Sun, Jun; Bai, Guangdong; Liu, Yang; Dong, Jin Song (2017)