Collaborated with:
C.Bodei P.Degano M.Buchholtz F.Nielson H.R.Nielson C.Priami
Talks about:
protocol (1) specifi (1) perform (1) secur (1) evalu (1)
Person: Michele Curti
DBLP: Curti:Michele
Contributed to:
Wrote 1 papers:
- QAPL-2004-BodeiCDBNNP05 #evaluation #performance #protocol #security
- Performance Evaluation of Security Protocols Specified in LySa (CB, MC, PD, MB, FN, HRN, CP), pp. 167–189.