The Interrogator model (1995)

by J K Millen
Venue:In: IEEE Symposium on Security and Privacy