Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Caimei Wang' in GoogleThis author has not been identified. Look up 'Yan Xiong' in GoogleThis author has not been identified. Look up 'Wenchao Huang' in GoogleThis author has not been identified. Look up 'Huihua Xia' in GoogleThis author has not been identified. Look up 'Jianmeng Huang' in Google

runs on WebDSL