PUMA
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.
 
 
Abstract
(English)
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
authentication
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