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/761' 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/761' in /dati/webiit-old/includes/database.pgsql.inc on line 159 A formalization of credit and responsibility within the GNDC schema. | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

A formalization of credit and responsibility within the GNDC schema.

We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through some examples discussed in the literature.


Electronic Notes in Theoretical Computer Science, 2006

Autori: R.Gorrieri, F. Martinelli, M. Petrocchi
Autori IIT:

Tipo: Articoli su riviste non ISI con referee internazionali
Area di disciplina: Computer Science and Engineering
Da pagina 61 a pagina 78

Attività: Metodi formali per la sicurezza di sistemi ICT