Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/produzione_scientifica/?q=node/1709&anno=2003&tipo=Articolo%20Convegno' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/produzione_scientifica/?q=node/1709&anno=2003&tipo=Articolo%20Convegno' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Lista Pubblicazioni | IIT - CNR - Istituto di Informatica e Telematica
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