The Interrogator: protocol security analysis (1987)

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