On Two Formal Analyses of the Yahalom Protocol (1997)

by L C Paulson