Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus | IEEE Conference Publication | IEEE Xplore
  翻译: