Talk:DART: Directed Automated Random Testing

From GradTurkey

[edit] Needham-Schroeder Intruder

This is outside the point of the paper, but I was intrigued by the paragraph on the Dolev-Yao attacker model, and the fact that different implementations led to significant changes in the size of the state space. What were the differences between the implementations that made such a difference? Is there some lesson to learn in how algorithms should be structured?

--BoAdler 11:51, 16 March 2007 (PDT)