Artículo:
First steps towards a specification of Blockchain systems using Maude

Vista sencilla de ítem
bs.conference.acronymPROLE
bs.conference.nameJornadas sobre Programación y Lenguajes (PROLE)
bs.edition.date2021-09-22
bs.edition.locationMálaga
bs.edition.nameXX Jornadas de Programación y Lenguajes (PROLE 2021)
bs.proceedings.editorMartí Oliet, N.
bs.proceedings.nameActas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)
dc.contributor.affiliationUniversity of Málaga, Spain
dc.contributor.affiliationChainalysis, Spain
dc.contributor.authorDurán, Francisco
dc.contributor.authorMoreno-Delgado, Antonio
dc.contributor.emailduran@lcc.uma.es
dc.contributor.emailthedownhiller@gmail.com
dc.contributor.signatureDurán, Francisco
dc.contributor.signatureMoreno-Delgado, Antonio
dc.date.accessioned2021-09-22T00:00:00Z
dc.date.available2021-09-22T00:00:00Z
dc.date.issued2021-09-22
dc.description.abstractThis work presents a formal specification of the blockchain algorithm. We specify the consensus algorithm in rewriting logic and Maude. The fact that the specification is executable allows us to simulate and analyze it, with the goal of identifying potential weaknesses and testing new algorithms built on top of the existing infrastructure.
dc.identifier.citationDurán, F., Moreno-Delgado, A.: First steps towards a specification of Blockchain systems using Maude. In: Martí Oliet, N. (ed.) Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021). Sistedes (2021). https://hdl.handle.net/11705/PROLE/2021/019
dc.identifier.citation-bibtex@inproceedings{11705:PROLE:2021:019, title = {{First steps towards a specification of Blockchain systems using Maude}}, author = {Dur\'{a}n, F. and Moreno-Delgado, A.}, url = {https://hdl.handle.net/11705/PROLE/2021/019}, crossref = {11705:PROLE:2021} } @proceedings{11705:PROLE:2021, title = {{Actas de las XX Jornadas de Programaci\'{o}n y Lenguajes (PROLE 2021)}}, author = {Mart\'{i} Oliet, N.}, year = {2021}, publisher = {{Sistedes}}, }
dc.identifier.sistedes11705/PROLE/2021/019
dc.publisherSistedes
dc.relation.ispartofActas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)
dc.rights.licenseAll rights reserved to their respective owners
dc.subjectBlockchain
dc.subjectMaude
dc.subjectRewriting Logic
dc.titleFirst steps towards a specification of Blockchain systems using Maude
dspace.entity.typeArtículo
relation.isAuthorOfPaper9dc86cc9-e252-4cf6-84c0-a0d4843f956f
relation.isAuthorOfPaperd4fc1cb8-d1c7-4014-8544-73baf1383738
relation.isAuthorOfPaper.latestForDiscovery9dc86cc9-e252-4cf6-84c0-a0d4843f956f

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
11705-PROLE-2021-019.pdf
Tamaño:
84.58 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Specification and implementation