A Formalization of Credit and Responsibility Within the GNDC Schema

Conference Paper
Publication Date:
2006
abstract:
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.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Formal methods; Generalized Non Deducibility on Composition; authentication
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/75839
Published in:
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Journal
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Series