BibTeX record conf/sec/PapaBHS03

• > Home > conf/sec/PapaBHS03

@inproceedings{DBLP:conf/sec/PapaBHS03,
  author       = {Mauricio Papa and
                  Oliver Bremer and
                  John Hale and
                  Sujeet Shenoi},
  editor       = {Dimitris Gritzalis and
                  Sabrina De Capitani di Vimercati and
                  Pierangela Samarati and
                  Sokratis K. Katsikas},
  title        = {Integrating Logics and Process Calculi for Cryptographic Protocol
                  Analysis},
  booktitle    = {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},
  series       = {{IFIP} Conference Proceedings},
  volume       = {250},
  pages        = {349--360},
  publisher    = {Kluwer},
  year         = {2003},
  timestamp    = {Fri, 25 Apr 2003 10:12:34 +0200},
  biburl       = {https://dblp.org/rec/conf/sec/PapaBHS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}