Login / Signup
Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus.
Caimei Wang
Yan Xiong
Wenchao Huang
Huihua Xia
Jianmeng Huang
Published in:
Trustcom/BigDataSE/ISPA (2016)
Keyphrases
</>
formal analysis
neural network
information systems
access control