J.I. den Hartog is an author at University of Twente specializing in engineering, automated reasoning, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationInformation SecurityTrustEntropyAuditing
Publications per year
1999–2007
6
6
Audit-based compliance control
Jan Cederquist, Ricardo Corin, M.A.C. Dekker et al. · International Journal of Information Security · 2007 · 91 citations
An Audit Logic for Accountability
Jan Cederquist, Ricardo Corin, M.A.C. Dekker et al. · 2005 · 58 citations · Full text
Nonmonotonic Trust Management for P2P Applications
Marcin Czenko, Huu Tam Tran, J.M. Doumen et al. · arXiv (Cornell University) · 2005 · 12 citations · Full text
Engineering, Information Security, Trust Management Architecture +21
Rows per page
1–5 of 6