Improved Methods and Principles for Designing and Analyzing Security Protocols. - Ali Kartit; Hamza Kamal Idrissi; Mohamed Belkhouraf (Int. J. Netw. Secur., 2016)