@InProceedings{SACACM05,
  author = "M.Carmen Ruiz and  Diego Cazorla and Fernando Cuartero and Juan J. Pardo",
  title = "Analysis of the SET e-commerce protocol using a true concurrency process algebra",
  booktitle = "In Proceedings of the 21th ACM Symposium on Applied Computing (SAC 2006)",
  address =  {U.S.A.},
  pages={879-886},
  date = {April 23-27},
  year={2006}
}