Anonymity analysis in credentials-based systems: A formal framework.

Vicente Benjumea Javier López José M. Troya

Published in: Comput. Stand. Interfaces (2008)

Keyphrases

data mining
formal analysis
main contribution
intelligent systems
formal methods
image analysis
management system
lightweight
analysis tool
quantitative analysis
third party
complex systems
building blocks
knowledge based systems
data analysis
case study
artificial intelligence