Formal verification of the Secure Sockets Layer protocol

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

ISBN: 9789898111388

Any de publicació: 2008

Volum: 2 ISAS

Pàgines: 246-252

Tipus: Aportació congrés

GOOGLE SCHOLAR
Font de les dades: Scopus