2004 | ||
---|---|---|
1 | EE | Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu: A Logic for Auditing Accountability in Decentralized Systems. Formal Aspects in Security and Trust 2004: 187-201 |
1 | Ricardo Corin | [1] |
2 | Sandro Etalle | [1] |
3 | Jerry den Hartog (J. I. den Hartog) | [1] |
4 | Gabriele Lenzini | [1] |