On the Verifiability of Two-Party Algebraic Protocols.

Ronald V. Book Friedrich Otto

Published in: Theor. Comput. Sci. (1985)

Keyphrases

key agreement protocol
security properties
fair exchange protocols
record linkage
security protocols
communication protocol
data sets
databases
cryptographic protocols
metadata
database systems
higher order
provably secure