Formal verification of the Secure Sockets Layer protocol

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

ISBN: 9789898111388

Year of publication: 2008

Volume: 2 ISAS

Pages: 246-252

Type: Conference paper

GOOGLE SCHOLAR
Data source: Scopus