DBLP Record 'conf/csreaSAM/ZhangLF05'

BibTeX

@inproceedings{DBLP:conf/csreaSAM/ZhangLF05,
  author    = {Yuqing Zhang and
               Xiuying Liu and
               Dengguo Feng},
  title     = {An approach to the formal verification of the three-principal
               security protocols},
  booktitle = {Security and Management},
  year      = {2005},
  pages     = {163-169},
  crossref  = {DBLP:conf/csreaSAM/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/csreaSAM/2005,
  editor    = {Hamid R. Arabnia},
  title     = {Proceedings of The 2005 International Conference on Security
               and Management, SAM 2005, Las Vegas, Nevada, USA, June 20-23,
               2005},
  booktitle = {Security and Management},
  publisher = {CSREA Press},
  year      = {2005},
  isbn      = {1-932415-82-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}