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: Cazorla:Diego
Contributed to:
2008
2006Wrote 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.