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/node/536' 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/node/536' in /dati/webiit-old/includes/database.pgsql.inc on line 159 ARTIST2 2006 su sicurezza di sistemi embedded | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

ARTIST2 2006 su sicurezza di sistemi embedded

The workshop focused on the formal specification and verification of security properties, and in particular on the specification and formal verification of security protocols. (http://www.artist-embedded.org/FP6/ARTIST2Events/PastEvents/Security-Pisa/)


Dal 18/05/2006 al 18/05/2006, Pisa