Paper  doi  bibtex   

@inproceedings{DBLP:conf/sac/RuizCCP06,
  author    = {M. Carmen Ruiz and
               Diego Cazorla and
               Fernando Cuartero and
               Juan Jos{\'{e}} Pardo},
  title     = {Analysis of the {SET} e-commerce protocol using a true concurrency
               process algebra},
  booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
               Dijon, France, April 23-27, 2006},
  pages     = {879--886},
  year      = {2006},
  crossref  = {DBLP:conf/sac/2006},
  url       = {http://doi.acm.org/10.1145/1141277.1141480},
  doi       = {10.1145/1141277.1141480},
  timestamp = {Tue, 03 Nov 2015 12:36:37 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sac/RuizCCP06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}