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/693' 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/693' in /dati/webiit-old/includes/database.pgsql.inc on line 159 A comparison of three authentication properties | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

A comparison of three authentication properties

Authentication is a slippery security property that has been formally defined only recently; among the recent definitions, two rather interesting ones have been proposed for the spi-calculus and for CSP. On the other hand, in a recent paper, we have proved that many existing security properties can be seen uniformly as specific instances of a general scheme based on the idea of non-interference. The purpose of this paper is to show that, under reasonable assumptions, spi-authentication can be recast in this general framework as well, by showing that it is equivalent to the non-interference property called NDC. This allows for the comparison between such a property and the one based on CSP, which was already recast under the general scheme.
THEORETICAL COMPUTER SCIENCE (03116J0), 2003

Autori: Focardi R., Gorrieri R., Martinelli F.
Autori IIT:

Tipo: Articoli su riviste ISI
Area di disciplina: Information Technology and Communication Systems
Da pagina 285 a pagina 327