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.

A Formalization of Credit and Responsibility Within the GNDC Schema

Martinelli F;Petrocchi M;
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.
2006
Istituto di informatica e telematica - IIT
Inglese
Workshop on Security and trust Management
157
61
78
Elsevier Science Publishers
Amsterdam
PAESI BASSI
Sì, ma tipo non specificato
Formal methods
Generalized Non Deducibility on Composition
authentication
2
none
Martinelli F.; Petrocchi M.; Gorrieri R.
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/75839
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact