A Robust Spatio-Temporal Verification Protocol for Blockchain.

Bulat Nasrulin Muhammad Muzammal Qiang Qu

Published in: WISE (1) (2018)

Keyphrases

spatio temporal
cryptographic protocols
formal analysis
image sequences
spatial and temporal
protocol specification
lightweight
formal methods
model checker
spatio temporal patterns
view invariant
network protocols
end to end
face verification
coloured petri nets