Author: Diego Cazorla
Publication Overview
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.