Login / Signup
LedgerDB: A Centralized Ledger Database for Universal Audit and Verification.
Xinying Yang
Yuan Zhang
Sheng Wang
Benquan Yu
Feifei Li
Yize Li
Wenyuan Yan
Published in:
Proc. VLDB Endow. (2020)
Keyphrases
</>
database
relational databases
data sets
database systems
databases
query language
database management systems
model checking
formal verification
real time
intrusion detection
database applications
digital libraries
data mining techniques