The widespread presence of cyber-physical systems necessitates a reliable assurance
mechanism for audit logging across various discrete and continuous components of these …

Audit logging provides post-facto analysis of runtime behavior for different purposes,
including error detection, amelioration of system operations, and the establishment of …

Audit logging provides post-facto analysis of runtime behavior for different purposes,
including error detection, amelioration of system operations, and the establishment of …

Information-algebraic models have been shown as effective semantic frameworks in the
specification of audit logging requirements. These semantic frameworks underlie …

While logging events is becoming increasingly common in computing, in communication
and in collaborative environments, log systems need to satisfy increasingly challenging (if …

Information stored in logs of a computer system is of crucial importance to gather forensic
evidence of investigated actions or attacks against the system. Analysis of this information …

In general, manually checking a system log does not scale up, if the log becomes large. The
problem also arises the case with checking an audit trail in verification of a measuring …

Research has been performed in areas of auditing, ao security auditing, compliance
auditing, financial auditing. In order to increase the efficiency of and to allow for continuous …

Modern enterprises centrally monitor their systems by collecting logs using audit reduction
tools that can search, sort, and alert. The author describes how developers can support such …

Complex distributed information systems that run their activities in the form of processes
require continuous auditing of a process that invokes the action (s) specified in the policies …