Login / Signup
Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System (Full Version).
Weijin Wang
Yu Qin
Jingbin Liu
Dengguo Feng
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
formal analysis
formal methods
access control
ban logic
knowledge based systems
cost effective
databases
machine learning
database systems
software engineering
third party