Author: M. Llanos Tobarra

Publications

Publication period start: 2007
Number of co-authors: 3

Co-authors

Number of publications with favourite co-authors
Diego Cazorla
1
Juan José Pardo
1
Fernando Cuartero
1

Productive Colleagues

Most productive colleagues in number of publications
Diego Cazorla
1
Juan José Pardo
1
Fernando Cuartero
3

Publications

Tobarra, M. Llanos, Cazorla, Diego, Pardo, Juan José, Cuartero, Fernando (2007): Formal Verification of the Secure Sockets Layer Protocol. In: Cordeiro, José, Filipe, Joaquim (eds.) ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems Volume 2 June 12-16, 2007, Barcelona, Spain. pp. 246-252.