EntrapNet: a Blockchain-Based Verification Protocol for Trustless Computing.

Chong Li Lei Zhang Serbiao Fang

Published in: CoRR (2021)

Keyphrases

cryptographic protocols
model checking
formal analysis
protocol specification
model checker
formal proof
security protocols
lightweight
face verification
communication protocols
coloured petri nets
real time
authentication protocol
formal methods
temporal logic
cooperative
data mining