Data di Pubblicazione:
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Formal methods; Generalized Non Deducibility on Composition; authentication
Elenco autori:
Martinelli, Fabio; Petrocchi, Marinella
Link alla scheda completa:
Pubblicato in: