Caimei Wang, Yan Xiong, Wenchao Huang, Huihua Xia, Jianmeng Huang. Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus. In 2016 IEEE Trustcom/BigDataSE/ISPA, Tianjin, China, August 23-26, 2016. pages 42-49, IEEE, 2016. [doi]
Abstract is missing.