FAV-BFT: An Efficient File Authenticity Verification Protocol for Blockchain-Based File-Sharing System.
Shuai SuChi ChenXiaojie ZhuPublished in: CollaborateCom (1) (2022)
Keyphrases
- file sharing
- peer to peer
- cryptographic protocols
- peer to peer networks
- protocol specification
- client server architecture
- formal analysis
- digital images
- model checking
- model checker
- database
- lightweight
- formal methods
- security protocols
- resource sharing
- image compression
- cooperative
- formal verification
- artificial intelligence
- state machine
- formal proof