@InProceedings{,
  author = 	 {Audun Josang},
  title = 	 {Security Protocol Verification using SPIN},
  booktitle = 	 {International SPIN Workshop},
  OPTyear = 	 {1995},
}