Analysis of the SET e-commerce protocol using a true concurrency process algebra. Ruiz, M. C.; Cazorla, D.; Cuartero, F.; and Pardo, J. J. In Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pages 879--886, 2006.
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}
}