M. Carmen Ruiz Diego Cazorla Fernando Cuartero Juan José Pardo Analysis of the SET e-commerce protocol using a true concurrency process algebra. 879-886 2006 conf/sac/2006 SAC http://doi.acm.org/10.1145/1141277.1141480 db/conf/sac/sac2006.html#RuizCCP06