I. Staicu

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

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)