The Interrogator: Protocol Security Analysis.

Autor: Millen, Jonathan K., Clark, Sidney C., Freedman, Sherly B.

Publikováno v: IEEE Transactions on Software Engineering; Feb87, Vol. 13 Issue 2, p274-288, 15p, 3 Color Photographs, 12 Diagrams, 1 Chart