Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty.
Pierpaolo DeganoLetterio GallettaSelene GeraliPublished in: Protocols, Strands, and Logic (2021)
Keyphrases
- tcp ip
- wide area network
- source code
- lightweight
- remote server
- network protocols
- communication protocol
- real time
- model checking
- coloured petri nets
- software systems
- cryptographic protocols
- software projects
- ip networks
- formal analysis
- bug reports
- novice programmers
- communication protocols
- multi party
- software testing
- model based diagnosis
- computer networks
- neural network