Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus.

Caimei Wang, Yan Xiong, Wenchao Huang, Huihua Xia, Jianmeng Huang

Browse the full TrustCom paper archive.