A logic for auditing accountability in decentralized systems

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

Research output: Book/Report › Report › Academic

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

Cite this

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 -