Vicente Benjumea Javier Lopez José M. Troya Anonymity analysis in credentials-based systems: A formal framework. 253-261 2008 30 Computer Standards & Interfaces 4 http://dx.doi.org/10.1016/j.csi.2007.10.004 db/journals/csi/csi30.html#BenjumeaLT08