PasupathinathanPWC06'

BibTeX

@inproceedings{DBLP:conf/acsw/PasupathinathanPWC06,
  author    = {Vijayakrishnan Pasupathinathan and
               Josef Pieprzyk and
               Huaxiong Wang and
               Joo Yeon Cho},
  title     = {Formal analysis of card-based payment systems in mobile
               devices},
  booktitle = {ACSW Frontiers},
  year      = {2006},
  pages     = {213-220},
  ee        = {http://doi.acm.org/10.1145/1151828.1151853},
  crossref  = {DBLP:conf/acsw/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/acsw/2006,
  editor    = {Rajkumar Buyya and
               Tianchi Ma and
               Reihaneh Safavi-Naini and
               Chris Steketee and
               Willy Susilo},
  title     = {The proceedings of the Fourth Australasian Symposium on
               Grid Computing and e-Research (AusGrid 2006) and the Fourth
               Australasian Information Security Workshop (Network Security)
               (AISW 2006), Hobart, Tasmania, Australia, January 2006},
  booktitle = {ACSW Frontiers},
  publisher = {Australian Computer Society},
  series    = {CRPIT},
  volume    = {54},
  year      = {2006},
  isbn      = {1-920-68236-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}