Automating the verification of smart contracts in blockchain networks for improving security.
Alejandro M. Chirivella-CiruelosMarisol García-VallsPublished in: SEAA (2023)
Keyphrases
- high security
- java card
- intrusion detection
- network security
- enterprise network
- computer networks
- cryptographic protocols
- statistical databases
- integrity verification
- high assurance
- smart grid
- model checking
- network structure
- information security
- security issues
- verification method
- formal verification
- wireless sensor
- network analysis
- social networks
- smart card
- security threats
- communication protocols
- encryption algorithm
- network topologies
- signature verification
- neural network
- security mechanisms
- security requirements