Blockchain-Aided Flow Insertion and Verification in Software Defined Networks.
Jiejun HuMartin J. ReedMays F. Al-NadayNikolaos ThomosPublished in: GIoTS (2020)
Keyphrases
- software architecture
- software design
- software development
- social networks
- user interface
- software systems
- neural network
- hardware designs
- software maintenance
- network analysis
- data sets
- model checking
- flow field
- software tools
- software quality
- user defined
- test cases
- community detection
- source code
- information systems
- formal verification