DBLP Record 'conf/sec/PapaBHS03'

BibTeX

@inproceedings{DBLP:conf/sec/PapaBHS03,
  author    = {Mauricio Papa and
               Oliver Bremer and
               John Hale and
               Sujeet Shenoi},
  title     = {Integrating Logics and Process Calculi for Cryptographic
               Protocol Analysis},
  booktitle = {SEC},
  year      = {2003},
  pages     = {349-360},
  crossref  = {DBLP:conf/sec/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sec/2003,
  editor    = {Dimitris Gritzalis and
               Sabrina De Capitani di Vimercati and
               Pierangela Samarati and
               Sokratis K. Katsikas},
  title     = {Security and Privacy in the Age of Uncertainty, IFIP TC11
               18$^{\mbox{th}}$ International Conference on Information Security
               (SEC2003), May 26-28, 2003, Athens, Greece},
  booktitle = {SEC},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {250},
  year      = {2003},
  isbn      = {1-4020-7449-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}