1. IFIP AICT;I. Agrafiotis,2010
2. IFIP AICT;I. Agrafiotis,2011
3. Armando, A., Carbone, R., Compagna, L., Li, K., Pellegrino, G.: Model-checking driven security testing of web-based applications. In: Third International Conference on Software Testing, Verification, and Validation Workshops (ICSTW), pp. 361–370. IEEE (2010)
4. Mont, M.C., Pearson, S., Kounga, G., Shen, Y., Bramhall, P.: Privacy and identity management in europe: overview of existing assurance methods in the area of privacy and IT Security. Technical report, HP Labs, Bristol (2004)
5. http://www.encore-project.info