Updatable Hash Proof System and Its Applications.

Rupeng Yang Qiuliang Xu Yongbin Zhou Rui Zhang Chengyu Hu Zuoxia Yu

Published in: ESORICS (1) (2015)

Keyphrases

modal logic
hash functions
hashing algorithm
data structure
locality sensitive hashing
b tree
active rules
locality sensitive
intuitionistic logic
database
expert systems
high dimensional
multi dimensional
temporal logic
information systems
sequent calculus
geometric hashing