1. Alliance L. Liberty ID-FF architecture overview version 1.2-errata-v1.0. Last access 15 January 2008 from 〈http://www.projectliberty.org/liberty/content/download/318/2366/file/draft-liberty-idff-arch-overview-1.2-errata-v1.0.pdf〉, 2004.
2. Aly S, Mustafa K. Protocol verification and analysis using colored petri nets. Technical Report TR-04-003, School of Computer Science, Telecommunications and Information Systems (CTI)—DePaul University 〈http://www.cti.depaul.edu/research/Pages/TechnicalReports.aspx〉, 2004.
3. A cryptographic framework for the controlled release of certified data (transcript of discussion);Bangerter,2004
4. A cryptographic framework for the controlled release of certified data;Bangerter,2004
5. User centricity: a taxonomy and open issues;Bhargav-Spantzel,2006