The meaning of logs

Authors:
Sandro Etalle;Fabio Massacci;Artsiom Yautsiukhin
Affiliations:
University of Trento, DIT and University of Twente, The Netherlands;University of Trento, DIT;University of Trento, DIT
Venue:
TrustBus'07 Proceedings of the 4th international conference on Trust, Privacy and Security in Digital Business
Year:
2007

Citing 9
Cited 1

Pseudonymous audit for privacy enhanced intrusion detection

SEC'97 Proceedings of the IFIP TC11 13 international conference on Information Security (SEC '97) on Information security in research and business
Secure audit logs to support computer forensics

ACM Transactions on Information and System Security (TISSEC)
Audit considerations in distributed processing systems

Communications of the ACM
Anomaly-based intrusion detection: privacy concerns and other problems

Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on recent advances in intrusion detection systems
Log Auditing through Model-Checking

CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Disclosure risk assessment in statistical microdata protection via advanced record linkage

Statistics and Computing
How (not) to protect genomic data privacy in a distributed network: using trail re-identification to evaluate and design anonymity protection systems

Journal of Biomedical Informatics
Hippocratic databases

VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Auditing compliance with a Hippocratic database

VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30

Event log messages as a human interface, or, "do you pine for the days when men were men and wrote their own device drivers?"

Proceedings of the 22nd Conference of the Computer-Human Interaction Special Interest Group of Australia on Computer-Human Interaction

Quantified Score

Hi-index	0.00

Visualization

Abstract

While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not conflicting) requirements. In this paper we propose a high-level framework for modeling log systems, and reasoning about them. This framework allows one to give a high-level representation of a log system and to check whether it satisfies given audit and privacy properties which in turn can be expressed in standard logic. In particular, the framework can be used for comparing and assessing log systems. We validate our proposal by formalizing a number of standard log properties and by using it to review a number of existing systems. Despite the growing pervasiveness of log systems, we believe this is the first framework of this sort.