Simulation Based Validation of Authentication Protocols. Indiradevi, K. G. & Nair, S. Transactions of the SDPS, 8(4):79-98, 2004.
Simulation Based Validation of Authentication Protocols. [link]Link  Simulation Based Validation of Authentication Protocols. [link]Paper  bibtex   
@article{journals/jid/IndiradeviN04,
  added-at = {2015-05-18T00:00:00.000+0200},
  author = {Indiradevi, Krishnan G. and Nair, Suku},
  biburl = {http://www.bibsonomy.org/bibtex/2eeb6b35ce9b335558d42a6c4d33cf702/dblp},
  ee = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid8-4-06},
  interhash = {f14bf6336248fadd90b3cb51f54889f3},
  intrahash = {eeb6b35ce9b335558d42a6c4d33cf702},
  journal = {Transactions of the SDPS},
  keywords = {dblp},
  number = 4,
  pages = {79-98},
  timestamp = {2015-06-17T23:53:51.000+0200},
  title = {Simulation Based Validation of Authentication Protocols.},
  url = {http://dblp.uni-trier.de/db/journals/jid/jid8.html#IndiradeviN04},
  volume = 8,
  year = 2004
}

Downloads: 0