@InProceedings{DMTprotocol_1998,
  author = 	 {G. Denker and J. Meseguer and C. Talcott},
  title = 	 {Protocol Specification and Analysis in {Maude}},
  booktitle = 	 {In Proc. of Workshop on Formal Methods and Security Protocols},
  year = 	 {1998},
}