VoFSQ: An Efficient File-Sharing Interactive Verification Protocol.

Shuai Su Fangyuan Yuan Yulin Yuan Li Zeng Chi Chen

Published in: ISCC (2021)

Keyphrases

file sharing
peer to peer
cryptographic protocols
peer to peer networks
protocol specification
lightweight

model checking
formal proof
formal analysis
user interaction
client server architecture

computer graphics
face verification
internet traffic
virtual reality
signature verification

model checker
database systems
distributed environment
formal methods
electronic commerce