Automatic verification of the TLS handshake protocol
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
Automatic verification of the TLS handshake protocol
SAC, 2004.

SAC 2004
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{SAC-2004-DiazCRP,
	author        = "Gregorio Díaz and Fernando Cuartero and Valentín Valero Ruiz and Fernando L. Pelayo",
	booktitle     = "{Proceedings of the 19th Symposium on Applied Computing}",
	doi           = "10.1145/967900.968063",
	editor        = "Hisham Haddad and Andrea Omicini and Roger L. Wainwright and Lorie M. Liebrock",
	isbn          = "1-58113-812-1",
	pages         = "789--794",
	publisher     = "{ACM}",
	title         = "{Automatic verification of the TLS handshake protocol}",
	year          = 2004,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.