Istituto di Informatica e Telematica     
Gorrieri R., Martinelli F., Petrocchi M. A formalization of credit and responsibility within the GNDC schema. In: Electronic Notes in Theoretical Computer Science, vol. 157 pp. 61 - 78. Elsevier Science Publishers, 2006.
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.
DOI: 10.1016/j.entcs.2005.09.040
Subject Formal methods
Generalized Non Deducibility on Composition
K.6.5 Security and Protection

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional