|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
The Interrogator: Protocol Secuity Analysis
February 1987 (vol. 13 no. 2)
pp. 274-288
| ASCII Text | x | ||
| J.K. Millen, S.C. Clark, S.B. Freedman, "The Interrogator: Protocol Secuity Analysis," IEEE Transactions on Software Engineering, vol. 13, no. 2, pp. 274-288, February, 1987. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1987.233151, author = {J.K. Millen and S.C. Clark and S.B. Freedman}, title = {The Interrogator: Protocol Secuity Analysis}, journal ={IEEE Transactions on Software Engineering}, volume = {13}, number = {2}, issn = {0098-5589}, year = {1987}, pages = {274-288}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233151}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - The Interrogator: Protocol Secuity Analysis IS - 2 SN - 0098-5589 SP274 EP288 EPD - 274-288 A1 - J.K. Millen, A1 - S.C. Clark, A1 - S.B. Freedman, PY - 1987 KW - protocol verification KW - Active wiretapping KW - computer security KW - key distribution KW - network security KW - Prolog VL - 13 JA - IEEE Transactions on Software Engineering ER - | |||
The Interrogator is a Prolog program that searches for security vulnerabilities in network protocols for automatic cryptographic key distribution. Given a formal specification of the protocol, it looks for message modification attacks that defeat the protocol objective. It is still under developement, but is has been able to rediscover a known vulnerability in a published protocol. It is implemented in LM-Prolog on a Lisp Machine, with a graphical user interface.
Index Terms:
protocol verification, Active wiretapping, computer security, key distribution, network security, Prolog
Citation:
J.K. Millen, S.C. Clark, S.B. Freedman, "The Interrogator: Protocol Secuity Analysis," IEEE Transactions on Software Engineering, vol. 13, no. 2, pp. 274-288, Feb. 1987, doi:10.1109/TSE.1987.233151
Usage of this product signifies your acceptance of the Terms of Use.