@InProceedings{,
  author = 	 {Paolo Maggi and Riccardo Sisto},
  title = 	 {Using SPIN to Verify Security Properties of Cryptographic Protocols},
  booktitle = 	 {9th International SPIN Workshop on Software Model Checking},
  OPTpages = 	 {187--204},
  OPTyear = 	 {2002},
}