A logic for auditing accountability in decentralized systems

R.J. Corin, S. Etalle, J.I. Hartog, den, G. Lenzini, I.S. Staicu

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Naam	CTIT Technical Report
Volume	TR-CTIT-04-27

Corin, R. J., Etalle, S., Hartog, den, J. I., Lenzini, G., & Staicu, I. S. (2004). A logic for auditing accountability in decentralized systems. (CTIT Technical Report; Vol. TR-CTIT-04-27). Enschede: Universiteit Twente.

Corin, R.J. ; Etalle, S. ; Hartog, den, J.I. ; Lenzini, G. ; Staicu, I.S. / A logic for auditing accountability in decentralized systems. Enschede : Universiteit Twente, 2004. 17 blz. (CTIT Technical Report).

@book{101bae7e39aa47f6a9c18fa1a8fd0376,

title = "A logic for auditing accountability in decentralized systems",

author = "R.J. Corin and S. Etalle and {Hartog, den}, J.I. and G. Lenzini and I.S. Staicu",

year = "2004",

language = "English",

series = "CTIT Technical Report",

publisher = "Universiteit Twente",

}

Corin, RJ, Etalle, S , Hartog, den, JI, Lenzini, G & Staicu, IS 2004, A logic for auditing accountability in decentralized systems. CTIT Technical Report, vol. TR-CTIT-04-27, Universiteit Twente, Enschede.

Enschede : Universiteit Twente, 2004. 17 blz. (CTIT Technical Report; Vol. TR-CTIT-04-27).

Onderzoeksoutput: Boek/rapport › Rapport › Academic

TY - BOOK

T1 - A logic for auditing accountability in decentralized systems

AU - Corin, R.J.

AU - Etalle, S.

AU - Hartog, den, J.I.

AU - Lenzini, G.

AU - Staicu, I.S.

PY - 2004

Y1 - 2004

UR - http://www.ub.utwente.nl/webdocs/ctit/1/000000fe.pdf

M3 - Report

T3 - CTIT Technical Report

BT - A logic for auditing accountability in decentralized systems

PB - Universiteit Twente

CY - Enschede

ER -

Corin RJ, Etalle S , Hartog, den JI, Lenzini G, Staicu IS. A logic for auditing accountability in decentralized systems. Enschede: Universiteit Twente, 2004. 17 blz. (CTIT Technical Report).