Protocol-based Smart Contract Generation.
Afonso FalcãoAndreia MordidoVasco T. VasconcelosPublished in: CoRR (2021)
Keyphrases
- contractual obligations
- contract net protocol
- lightweight
- communication protocol
- generation process
- supply chain
- smart grid
- cryptographic protocols
- formal analysis
- decision making
- database
- authentication protocol
- security requirements
- database systems
- case study
- protocol specification
- file transfer
- coloured petri nets