I. Agudo, M. Gago, and J. López. Formal Aspects in Security and Trust, volume 5491 of Lecture Notes in Computer Science, page 302-315. Springer, (2008)
I. Agudo, A. Kaafarani, D. Nuñez, and S. Pearson. Privacy and Identity Management, volume 476 of IFIP Advances in Information and Communication Technology, page 187-204. Springer, (2015)
I. Agudo, J. López, and J. Montenegro. Communications and Multimedia Security, volume 4237 of Lecture Notes in Computer Science, page 54-66. Springer, (2006)