Chameleon all-but-one extractable hash proof and its applications.

Gang Han Hui Li Baodong Qin Dong Zheng

Published in: Sci. China Inf. Sci. (2018)

Keyphrases

hash functions
theorem prover
machine learning
hashing algorithm
information systems
three dimensional
multi agent
theorem proving
logical rules
database
social networks
relational databases