Travelled to:1 × Cyprus
1 × Estonia
1 × France
1 × Spain
1 × USA
Collaborated with:J.J.Pardo V.V.Ruiz D.Cazorla G.Díaz D.Cebrián M.L.Tobarra M.C.Ruiz F.L.Pelayo K.G.Larsen V.Valero
Talks about:protocol (4) commerc (2) verif (2) set (2) probabilist (1) handshak (1) behavior (1) approach (1) process (1) concurr (1)
Person: Fernando Cuartero
DBLP: Cuartero:Fernando
Contributed to:
2008
2007
200620052004Wrote 5 papers:
- ICEIS-ISAS2-2008-TobarraCPC #protocol #verification
- Formal Verification of the Secure Sockets Layer Protocol (MLT, DC, JJP, FC), pp. 246–252.
- TestCom-FATES-2007-CebrianRC #automation #testing
- Automation of Avionic Systems Testing (DC, VVR, FC), pp. 28–40.
- 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.
- SAC-2005-DiazLPCV #approach #behaviour #e-commerce #probability #protocol #realtime #set #validation
- An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol (GD, KGL, JJP, FC, VV), pp. 815–820.
- SAC-2004-DiazCRP #automation #protocol #verification
- Automatic verification of the TLS handshake protocol (GD, FC, VVR, FLP), pp. 789–794.