Relations between secrets: Two formal analyses of the Yahalom protocol

by Lawrence C. Paulson
Venue:J. of Comp. Sec
Citations:55 - 11 self