J. I. den Hartog

Publication Activity (10 Years)

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

Publications

Jing Pan, J. I. den Hartog, Jiqiang Lu
-Box Implementation. WISA (2009)
Jing Pan, J. I. den Hartog, Erik P. de Vink
An Operation-Based Metric for CPA Resistance. SEC (2008)
J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini
Audit-based compliance control. Int. J. Inf. Sec. 6 (2-3) (2007)
J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog
An Audit Logic for Accountability. POLICY (2005)
J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog
An Audit Logic for Accountability CoRR (2005)
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)