BibSLEIGH
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
Travelled to:
1 × France
1 × Spain
Collaborated with:
J.J.Pardo F.Cuartero M.L.Tobarra M.C.Ruiz
Talks about:
protocol (2) process (1) concurr (1) commerc (1) analysi (1) algebra (1) socket (1) formal (1) verif (1) secur (1)

Person: Diego Cazorla

DBLP DBLP: Cazorla:Diego

Contributed to:

ICEIS ISAS v2 20082008
SAC 20062006

Wrote 2 papers:

ICEIS-ISAS2-2008-TobarraCPC #protocol #verification
Formal Verification of the Secure Sockets Layer Protocol (MLT, DC, JJP, FC), pp. 246–252.
SAC-2006-RuizCCP #algebra #analysis #concurrent #e-commerce #process #protocol #set #using
Analysis of the SET e-commerce protocol using a true concurrency process algebra (MCR, DC, FC, JJP), pp. 879–886.

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.