A General Formal Framework of Analyzing Selective Disclosure Attribute-Based Credential Systems.
Caimei WangYan XiongWenjuan ChengWenchao HuangHuihua XiaJianmeng HuangPublished in: Int. J. Netw. Secur. (2017)
Keyphrases
- special case
- formal methods
- computer systems
- conceptual framework
- main contribution
- lightweight
- heterogeneous systems
- mathematical theory
- general theory
- formal model
- theoretical framework
- learning systems
- database
- knowledge based systems
- access control
- distributed systems
- probabilistic model
- artificial intelligence
- data mining
- real time