DaiHDG04'

BibTeX

@inproceedings{DBLP:conf/iastedSEA/DaiHDG04,
  author    = {Zhengfan Dai and
               Xudong He and
               Junhua Ding and
               Shu Gao},
  title     = {Modeling and analyzing security protocols in SAM: A case
               study},
  booktitle = {IASTED Conf. on Software Engineering and Applications},
  year      = {2004},
  pages     = {115-121},
  crossref  = {DBLP:conf/iastedSEA/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iastedSEA/2004,
  editor    = {M. H. Hamza},
  title     = {Proceedings of the IASTED Conference on Software Engineering
               and Applications, November 9-11, 2004, MIT, Cambridge, MA,
               USA},
  booktitle = {IASTED Conf. on Software Engineering and Applications},
  publisher = {IASTED/ACTA Press},
  year      = {2004},
  isbn      = {0-88986-425-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}