Automatic Generation of Security Protocol Implementations Written in Java from Abstract Specifications Proved in the Computational Model. - Bo Meng; Chin-Tser Huang; Yitong Yang; Leyuan Niu; Dejun Wang (Int. J. Netw. Secur., 2017)