@INPROCEEDINGS{ShoupRubin96,
  AUTHOR = {Victor Shoup and Avi Rubin},
  TITLE = {Session Key Distribution using Smart Cards},
  BOOKTITLE = {In Proceedings of Advances in Cryptology, EUROCRYPT'96},
  YEAR = 1996,
  VOLUME = 1070,
  SERIES = {LNCS},
  PUBLISHER = {Springer-Verlag}
}

@INPROCEEDINGS{Jerdonek98,
  AUTHOR = {Rob Jerdonek and Peter Honeyman and Kevin Coffman and Kim Rees and Kip Wheeler},
  TITLE = {Implementation of a Provably Secure, Smartcard-based Key Distribution Protocol},
  BOOKTITLE = {In Proceedings of the Third Smart Card Research and Advanced Application Conference},
  YEAR = 1998
}

@INPROCEEDINGS{BellareRogaway95,
  AUTHOR = {Mihir Bellare and Phillip Rogaway},
  TITLE = {Provably secure session key distribution-- the three party case},
  BOOKTITLE = {Proceedings 27th Annual Symposium on the Theory of Computing},
  PAGES = {57--66},
  YEAR = 1995,
  SERIES = {ACM}
}

@INPROCEEDINGS{Bella00,
  AUTHOR = {Giampaolo Bella},
  TITLE = {Mechanising a Protocol for Smart Cards},
  BOOKTITLE = {Proc. of e-Smart 2001, international conference on research in smart cards},
  YEAR = 2001,
  SERIES = {LNCS},
  MONTH = {september},
  PUBLISHER = {Springer-Verlag}
}

@MISC{Shoup96update,
  AUTHOR = {Victor Shoup},
  TITLE = {A note on Session Key Distribution using Smart Cards},
  HOWPUBLISHED = {http://www.shoup.net/papers/update.ps},
  MONTH = {july},
  YEAR = 1996
}