@article{unspecified,
  AUTHOR = {Hassen Saidi},
  TITLE = {Towards automatic synthesis of security protocols},
  YEAR = {2002},
  MONTH = {March},
  ADDRESS = {Stanford University, California},
  URL = {http://www.csl.sri.com/papers/aaai\_saidi02/},
  BOOKTITLE = {In Logic-Based Program Synthesis Workshop, {AAAI} 2002 Spring Symposium}
}