BibTeX record conf/tark/RamanujamS05

download as .bib file

@inproceedings{DBLP:conf/tark/RamanujamS05,
  author       = {Ramaswamy Ramanujam and
                  S. P. Suresh},
  editor       = {Ron van der Meyden},
  title        = {Deciding knowledge properties of security protocols},
  booktitle    = {Proceedings of the 10th Conference on Theoretical Aspects of Rationality
                  and Knowledge (TARK-2005), Singapore, June 10-12, 2005},
  pages        = {219--235},
  publisher    = {National University of Singapore},
  year         = {2005},
  url          = {https://dl.acm.org/citation.cfm?id=1089958},
  timestamp    = {Thu, 29 Nov 2018 12:50:42 +0100},
  biburl       = {https://dblp.org/rec/conf/tark/RamanujamS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics