Travelled to:1 × Estonia
Collaborated with:A.Armando W.Arsac T.Avanesov A.Calvi A.Cappai R.Carbone Y.Chevalier L.Compagna J.Cuéllar G.Erzse S.Frau M.Minea S.Mödersheim D.v.Oheimb G.Pellegrino S.E.Ponta M.Rocchetto M.Rusinowitch M.T.Dashti M.Turuani L.Viganò
Talks about:architectur (1) avantssar (1) platform (1) servic (1) orient (1) valid (1) trust (1) secur (1) autom (1)
Person: Michele Barletta
DBLP: Barletta:Michele
Contributed to:
2012Wrote 1 papers:
- TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV #architecture #automation #framework #platform #security #trust #validation
- The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (AA, WA, TA, MB, AC, AC, RC, YC, LC, JC, GE, SF, MM, SM, DvO, GP, SEP, MR, MR, MTD, MT, LV), pp. 267–282.