External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification of the Secure Sockets Layer Protocol

M. Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero. Formal Verification of the Secure Sockets Layer Protocol. In José Cordeiro, Joaquim Filipe, editors, ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume ISAS-2, Barcelona, Spain, June 12-16, 2008. pages 246-252, 2008.

Abstract

Abstract is missing.

runs on