Travelled to:1 × Italy
1 × Switzerland
1 × USA
Collaborated with:C.Blundo P.Ciancarini C.Mascolo
Talks about:algorithm (1) authent (1) analysi (1) requir (1) formal (1) simpl (1) secur (1) meter (1) engin (1) tool (1)
Person: Stelvio Cimato
DBLP: Cimato:Stelvio
Contributed to:
2010
20021996Wrote 3 papers:
- SAC-2010-BlundoC #algorithm #mining
- A simple role mining algorithm (CB, SC), pp. 1958–1962.
- SEKE-2002-BlundoC #authentication #named #web
- SAWM: a tool for secure and authenticated web metering (CB, SC), pp. 641–648.
- SEKE-1996-CiancariniCM #analysis #requirements #testing
- Engineering Formal Requirements: Analysis and Testing (PC, SC, CM), pp. 385–392.