Analysis of the SET e-commerce protocol using a true concurrency process algebra. Ruiz, M. C., Cazorla, D., Cuartero, F., & 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}
}
Downloads: 0
{"_id":"amqcy4pNDp3eSsSCb","bibbaseid":"ruiz-cazorla-cuartero-pardo-analysisofthesetecommerceprotocolusingatrueconcurrencyprocessalgebra-2006","downloads":0,"creationDate":"2017-11-08T09:52:20.013Z","title":"Analysis of the SET e-commerce protocol using a true concurrency process algebra","author_short":["Ruiz, M. C.","Cazorla, D.","Cuartero, F.","Pardo, J. J."],"year":2006,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/c/Cuartero:Fernando","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["M.","Carmen"],"propositions":[],"lastnames":["Ruiz"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Cazorla"],"suffixes":[]},{"firstnames":["Fernando"],"propositions":[],"lastnames":["Cuartero"],"suffixes":[]},{"firstnames":["Juan","José"],"propositions":[],"lastnames":["Pardo"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/sac/RuizCCP06,\n author = {M. Carmen Ruiz and\n Diego Cazorla and\n Fernando Cuartero and\n Juan Jos{\\'{e}} Pardo},\n title = {Analysis of the {SET} e-commerce protocol using a true concurrency\n process algebra},\n booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),\n Dijon, France, April 23-27, 2006},\n pages = {879--886},\n year = {2006},\n crossref = {DBLP:conf/sac/2006},\n url = {http://doi.acm.org/10.1145/1141277.1141480},\n doi = {10.1145/1141277.1141480},\n timestamp = {Tue, 03 Nov 2015 12:36:37 +0100},\n biburl = {http://dblp.org/rec/bib/conf/sac/RuizCCP06},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Ruiz, M. C.","Cazorla, D.","Cuartero, F.","Pardo, J. J."],"key":"DBLP:conf/sac/RuizCCP06","id":"DBLP:conf/sac/RuizCCP06","bibbaseid":"ruiz-cazorla-cuartero-pardo-analysisofthesetecommerceprotocolusingatrueconcurrencyprocessalgebra-2006","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/1141277.1141480"},"downloads":0},"search_terms":["analysis","set","commerce","protocol","using","true","concurrency","process","algebra","ruiz","cazorla","cuartero","pardo"],"keywords":[],"authorIDs":[],"dataSources":["X6hizZFtb73ScJTEf"]}