Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus
Proceedings article published in 2016 by
Caimei Wang,
Yan Xiong,
Wenchao Huang,
Huihua Xia,
Jianmeng Huang
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 