@inproceedings{GHSY04,
  author    = {Radu Grosu and Xiaowan Huang and Scott A. Smolka and Ping Yang},
  title     = {Monte Carlo Analysis of Security Protocols: Needham-Schroeder Revisited},
  booktitle = {{DIMACS} workshop on Security Analysis of Protocols},
  year      = {2004}
}