Relations between secrets: Two formal analyses of the Yahalom protocol

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