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/991' 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/991' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis

Workshop on Issues in the Theory of Security WITS03, Varsavia, 2003

Autori: Bistarelli S., Cervesato I., Lenzini G., Martinelli F.
Autori IIT:

Tipo: Articolo in Atti di convegno internazionale con referee

Attività: Metodi formali per la sicurezza di sistemi ICT