Travelled to:1 × France
1 × Korea
1 × Spain
1 × USA
Collaborated with:F.Cuartero D.Cazorla G.Díaz V.Valero M.L.Tobarra M.Cambronero M.C.Ruiz K.G.Larsen
Talks about:protocol (3) commerc (2) use (2) set (2) probabilist (1) behavior (1) approach (1) process (1) concurr (1) analysi (1)
Person: Juan José Pardo
DBLP: Pardo:Juan_Jos=eacute=
Contributed to:
2008
200720062005Wrote 4 papers:
- ICEIS-ISAS2-2008-TobarraCPC #protocol #verification
- Formal Verification of the Secure Sockets Layer Protocol (MLT, DC, JJP, FC), pp. 246–252.
- SAC-2007-CambroneroPDV #modelling #using #web #web service
- Using RT-UML for modelling web services (MEC, JJP, GD, VV), pp. 643–648.
- 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.