%0 Conference Paper %1 conf/trustcom/WangXHXH16 %A Wang, Caimei %A Xiong, Yan %A Huang, Wenchao %A Xia, Huihua %A Huang, Jianmeng %B Trustcom/BigDataSE/ISPA %D 2016 %I IEEE %K dblp %P 42-49 %T Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus. %U http://dblp.uni-trier.de/db/conf/trustcom/trustcom2016.html#WangXHXH16 %@ 978-1-5090-3205-1

@inproceedings{conf/trustcom/WangXHXH16, added-at = {2017-02-15T00:00:00.000+0100}, author = {Wang, Caimei and Xiong, Yan and Huang, Wenchao and Xia, Huihua and Huang, Jianmeng}, biburl = {https://www.bibsonomy.org/bibtex/2beb88da1ab46b31f3f302f558e308304/dblp}, booktitle = {Trustcom/BigDataSE/ISPA}, crossref = {conf/trustcom/2016}, ee = {http://dx.doi.org/10.1109/TrustCom.2016.0044}, interhash = {3544437f63e8b889d27fe514917448aa}, intrahash = {beb88da1ab46b31f3f302f558e308304}, isbn = {978-1-5090-3205-1}, keywords = {dblp}, pages = {42-49}, publisher = {IEEE}, timestamp = {2017-02-16T11:35:22.000+0100}, title = {Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus.}, url = {http://dblp.uni-trier.de/db/conf/trustcom/trustcom2016.html#WangXHXH16}, year = 2016 }