IIT Home Page CNR Home Page

Lista Pubblicazioni

Articolo Convegno, 2003

Martinelli F.
About compositional analysis of pi-calculus processes
2003, IFIP World Conference on Theoretical Computer Science TCS02
Bechelli L., Fais D., Di Stefano V.
A multi-platform tool for digital signature
2003, TIWIS03
Martinelli F., Petrocchi M., Vaccarelli A.
Analysing EMMS with compositional proof rules for non interference
2003, Workshop on Issues in the Theory of Security WITS03
Bistarelli S., Foley S. N
Analysis of Integrity Policies using Soft Constraints
2003, IEEE 4th International Workshop on Policies for Distributed Systems and Networks
Basagni S., Bruno R., Petrioli C.
A performance comparison of scatternet formation protocols for networks of Bluetooth devices
2003, IEEE Conference on Pervasive Computing and Communications
Bella G., Bistarelli S., Massacci F.
A protocol's life after attacks
2003, 11th International Workshop on Security Protocols
Gorrieri R., Locatelli E., Martinelli F.
A simple language for real-time cryptographic protocol analysis
2003, European Symposium on Programming ESOP03
De Francesco N., Petrocchi M.
Authenticity in a reliable protocol for mobile computing
2003, ACM Symposium of Applied Computing SAC03