Resumen:
This 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.
Descargas:
La descarga de este artículo ha sido restringida por el autor
Ver la referencia en formato Bibtex
@inproceedings{prole:2021:019,
title={{First steps towards a specification of Blockchain systems using Maude}},
author={Francisco Dur{\'a}n and Antonio Moreno-Delgado},
url={http://hdl.handle.net/11705/PROLE/2021/019},
booktitle={PROLE2021},
year={2021},
publisher={SISTEDES},
crossref={prole2021malaga}
}
@proceedings{prole2021malaga,
title={{Actas de las XX Jornadas de Programaci{\'o}n y Lenguajes (PROLE 2021)}},
editor={Mart{\'i} Oliet, N. (Ed.)},
booktitle={PROLE2021},
year={2021},
publisher={SISTEDES}
}
Copiar al portapapeles |
Cerrar
