Blockchain-Aided Flow Insertion and Verification in Software Defined Networks.
Jiejun HuMartin J. ReedMays F. Al-NadayNikolaos ThomosPublished in: CoRR (2020)
Keyphrases
- user interface
- formal methods
- software systems
- model checking
- formal verification
- software development
- computer systems
- software design
- software tools
- complex networks
- social networks
- personal computer
- computer networks
- network structure
- software architecture
- software components
- embedded systems
- design patterns
- network analysis
- network design
- complex systems
- software package
- information systems