A One-Way Proof-of-Work Protocol to Protect Controllers in Software-Defined Networks.
Jingrui LiTilman WolfPublished in: ANCS (2016)
Keyphrases
- network protocols
- software systems
- software maintenance
- formal proof
- software development
- lightweight
- control system
- computer systems
- social networks
- software tools
- complex networks
- source code
- software engineering
- real time
- computer networks
- network structure
- theorem prover
- privacy protection
- security protocols
- internet protocol
- delay tolerant