@InProceedings{GoodloeGS05,
  author = 	 {Alwyn Goodloe and Mark-Oliver Stehr and Carl A. Gunter},
  title = 	 {Formal Prototyping in Early Stages of Protocol Design},
  booktitle = 	 {Workshop on Issues in the Theory of Security ({WITS} '05)},
  year =	 2005,
  month =	 {January},
  address =	 {Long Beach, CA},
  organization = {IFIP}
}