A logic for auditing accountability in decentralized systems

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

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Originele taal-2Engels
    Plaats van productieEnschede
    UitgeverijUniversiteit Twente
    Aantal pagina's17
    StatusGepubliceerd - 2004

    Publicatie series

    NaamCTIT Technical Report
    VolumeTR-CTIT-04-27

    Citeer dit

    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.

    A logic for auditing accountability in decentralized systems. / Corin, R.J.; Etalle, S.; Hartog, den, J.I.; Lenzini, G.; Staicu, I.S.

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

    Onderzoeksoutput: Boek/rapportRapportAcademic

    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).