C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
EntrapNet: A Blockchain-Based Verification Protocol for Trustless Computing.
Chong Li
Lei Zhang
Senbiao Fang
Published in:
IEEE Internet Things J. (2022)
Keyphrases
</>
cryptographic protocols
formal analysis
protocol specification
lightweight
face verification
security protocols
colored petri nets
databases
case study
multi party
authentication protocol
communication protocols