A Model-Driven Analysis of Mimblewimble Security Properties and its Protocol Implementations
Un análisis basado en modelos de las propiedades de seguridad de Mimblewimble y las implementaciones del protocolo
Uma análise orientada a modelo das propriedades de segurança do Mimblewimble e suas implementações de protocolo
| 2023 | |
|
Seguridad Verificación formal Mimblewimble Modelo idealizado Criptomoneda Security Formal verification Mimblewimble Idealized model Cryptocurrency Segurança Verificação formal Mimblewimble Modelo idealizado Criptomoeda |
|
| Español | |
| Universidad de Montevideo | |
| REDUM | |
|
https://revistas.um.edu.uy/index.php/ingenieria/article/view/1148
https://hdl.handle.net/20.500.12806/3353 |
|
| Acceso abierto | |
| Atribución 4.0 Internacional |
