Formal verification of the Secure Sockets Layer protocol

  1. Tobarra, L.
  2. Cazorla, D.
  3. Pardo, J.J.
  4. Cuartero, F.
Actas:
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems

ISBN: 9789898111388

Año de publicación: 2008

Volumen: 2 ISAS

Páginas: 246-252

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus