Login / Signup

Formal Analysis of a TTP-Free Blacklistable Anonymous Credentials System.

Weijin WangJingbin LiuYu QinDengguo Feng
Published in: ICICS (2017)
Keyphrases
  • formal analysis
  • agent model
  • formal methods
  • access control
  • ban logic
  • information systems
  • case study
  • trusted third party