D.: AGVI—Automatic Generation, Verification, and Implementation of security protocols (2001)

by D Song, A Perrig, Phan