BibTeX record conf/ifiptm/DelauneRS08

• > Home > conf/ifiptm/DelauneRS08

@inproceedings{DBLP:conf/ifiptm/DelauneRS08,
  author       = {St{\'{e}}phanie Delaune and
                  Mark Ryan and
                  Ben Smyth},
  editor       = {Y{\"{u}}cel Karabulut and
                  John Mitchell and
                  Peter Herrmann and
                  Christian Damsgaard Jensen},
  title        = {Automatic Verification of Privacy Properties in the Applied pi Calculus},
  booktitle    = {Trust Management {II} - Proceedings of {IFIPTM} 2008: Joint iTrust
                  and {PST} Conferences on Privacy, Trust Management and Security, June
                  18-20, 2008, Trondheim, Norway},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {263},
  pages        = {263--278},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-0-387-09428-1\_17},
  doi          = {10.1007/978-0-387-09428-1\_17},
  timestamp    = {Wed, 07 Dec 2022 23:14:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ifiptm/DelauneRS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}