The Interrogator: Protocol Security Analysis. - Jonathan K. Millen; Sidney C. Clark; Sheryl B. Freedman (IEEE Trans. Software Eng., 1987)