A General Formal Framework of Analyzing Selective Disclosure Attribute-Based Credential Systems

Caimei Wang ； Yan Xiong ； Wenjuan Cheng ； Wenchao Huang ； Huihua Xia ； Jianmeng Huang

《International Journal of Network Security》 19卷5期 (2017/09) Pp. 794-803

https://doi.org/10.6633/IJNS.201709.19(5).17

摘要

A selective disclosure attribute-based credential system (SDABCS) can provide a communication mechanism to protect both security and privacy in electronic communication, by issuing a kind of credential with attributes, which the user can disclose parts of attributes. We present a general framework for formally verification of SDABCS with applied Pi calculus, and provide three definitions of relevant security properties. The framework can implement secure communication among the user, service provider and trusted authority. Two important functions are implemented: the first allows the user to receive a credential encoded a list of attributes from a trusted authority; the second allows the user to convince a service provider with the credential. Particularly, the user can selectively reveal parts of the attributes according to the needs of service provider, while not revealing the rest of the attributes. In our experiments, we apply the frame- work to a concrete security protocol and successfully prove three security properties in the protocol using ProVerif.

關鍵字

Attribute-based Credential ； Formalize ； General Framework ； Selective Disclosure