S.B.: The Interrogator: Protocol security analysis (1987)

by J K Millen, S C Clark, Freedman
Venue:IEEE Transactions on Software Engineering