BibTeX

@Article{blt:2007:aacbsff,
  author =       {Vicente Benjumea and Javier Lopez and Jose Maria Troya},
  title =        {Anonymity Analysis in Credentials-Based Systems: A Formal Framework},
  journal =      {Computer Standards \& Interfaces},
  year =         2008,
  volume =       {30},
  number =       {4},
  pages =        {253--261},
  publisher =    {Elsevier},
  issn=          {0920-5489}
}