Author: M. Llanos Tobarra
Publications
Publication period start: 2007
Number of co-authors: 3
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
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.