Travelled to:
1 × United Kingdom
Collaborated with:
A.Armando D.A.Basin Y.Boichut Y.Chevalier L.Compagna J.Cuéllar P.H.Drielsma P.Héam O.Kouchnarenko J.Mantovani S.Mödersheim D.v.Oheimb M.Rusinowitch M.Turuani L.Viganò L.Vigneron
Talks about:
protocol (1) internet (1) avispa (1) applic (1) valid (1) secur (1) autom (1) tool (1)
Person: Judson Santiago
DBLP: Santiago:Judson
Contributed to:
Wrote 1 papers:
- CAV-2005-ArmandoBBCCCDHKMMORSTVV #automation #internet #protocol #security #validation
- The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications (AA, DAB, YB, YC, LC, JC, PHD, PCH, OK, JM, SM, DvO, MR, JS, MT, LV, LV), pp. 281–285.