%0 Journal Article %1 journals/tse/MillenCF87 %A Millen, Jonathan K. %A Clark, Sidney C. %A Freedman, Sheryl B. %D 1987 %J IEEE Trans. Software Eng. %K dblp %N 2 %P 274-288 %T The Interrogator: Protocol Security Analysis. %U http://dblp.uni-trier.de/db/journals/tse/tse13.html#MillenCF87 %V 13

@article{journals/tse/MillenCF87, added-at = {2015-12-10T00:00:00.000+0100}, author = {Millen, Jonathan K. and Clark, Sidney C. and Freedman, Sheryl B.}, biburl = {https://www.bibsonomy.org/bibtex/2fc88c7d13392d6ba2c1979168647ab97/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233151}, interhash = {ba37cdc6371dd0beaaf37891507e31bb}, intrahash = {fc88c7d13392d6ba2c1979168647ab97}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 2, pages = {274-288}, timestamp = {2015-12-12T11:53:11.000+0100}, title = {The Interrogator: Protocol Security Analysis.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse13.html#MillenCF87}, volume = 13, year = 1987 }