Travelled to:
1 × Spain
Collaborated with:
M.Panti L.Spalazzi S.Tacconi
Talks about:
protocol (1) electron (1) payment (1) commerc (1) automat (1) verif (1) secur (1)
Person: Salvatore Valenti
DBLP: Valenti:Salvatore
Contributed to:
Wrote 1 papers:
- ICEIS-2002-PantiSTV #automation #protocol #security #verification
- Automatic Verification of Security in Payment Protocols for Electronic Commerce (MP, LS, ST, SV), pp. 968–974.