Transitive signatures: new schemes and proofs.

Mihir Bellare Gregory Neven

Published in: IEEE Trans. Inf. Theory (2005)

Keyphrases

theorem proving
databases
neural network
artificial intelligence
transitive closure
formal proofs
real time
learning algorithm
knowledge base
search algorithm
signature verification
signature recognition
provably secure
bilinear pairings
equational theories