@inproceedings{DBLP:conf/acsc/ZhangV01,
  author    = {Yan Zhang and
               Vijay Varadharajan},
  title     = {A Logic for Modeling the Dynamics of Beliefs in Cryptographic
               Protocols},
  booktitle = {ACSC},
  year      = {2001},
  pages     = {215-222},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ACSC.2001.906645},
  crossref  = {DBLP:conf/acsc/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/acsc/2001,
  title     = {24th Australasian Computer Science Conference (ACSC 2001),
               29 January - 1 February 2001, Gold Coast, Queensland, Australia},
  booktitle = {ACSC},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-0963-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}