Sigma protocol for faster proof of simultaneous homomorphism relations.

Bagher Bagherpour Ali Zaghian Mahdi Sajadieh

Published in: IET Inf. Secur. (2019)

Keyphrases

formal proof
temporal relations
data sets
theorem prover
theorem proving
formal analysis
cryptographic protocols
semantic relations
authentication protocol
coloured petri nets
network protocols
tcp ip
communication protocol
binary relations
attribute values
lightweight
distributed systems
databases