Análisis formal de vulnerabilidades de reentrada en contratos inteligentes basado en CPN
Autores: He, Yaqiong; Dong, Hanjie; Wu, Huaiguang; Duan, Qianheng
Idioma: Inglés
Editor: MDPI
Año: 2023
Acceso abierto
Artículo científico
2023
Análisis formal de vulnerabilidades de reentrada en contratos inteligentes basado en CPN
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Contrato inteligente
Sistemas blockchain
Vulnerabilidades
Métodos formales
Errores de seguridad
Redes de Petri coloreadas
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 35
Citaciones: Sin citaciones
Un contrato inteligente es una forma especial de programa informático que se ejecuta en una cadena de bloques y proporciona una nueva forma de implementar transacciones financieras y comerciales en un entorno libre de conflictos y transparente.
Descripción
Un contrato inteligente es una forma especial de programa informático que se ejecuta en una cadena de bloques y proporciona una nueva forma de implementar transacciones financieras y comerciales en un entorno libre de conflictos y transparente.