The Interrogator: pro- tocol security analysis (1987)

by J Millen, S Clark, S Freedman
Venue:IEEE Transactions on Soßware Engi- neering