The Meaning of Logs

Sandro Etalle, Fabio Massacci, Artsiom Yautsiukhin

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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.
Original languageEnglish
Title of host publicationTrust, Privacy and Security in Digital Business
Subtitle of host publication4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings
EditorsCostas Lambrinoudakis, Günther Pernul, A Min Tjoa
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages145-154
Number of pages10
ISBN (Electronic)978-3-540-74409-2
ISBN (Print)978-3-540-74408-5
DOIs
Publication statusPublished - Sep 2007
Event4th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2007 - Regensburg, Germany
Duration: 3 Sep 20077 Sep 2007
Conference number: 4

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume4657
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2007
Abbreviated titleTrustBus
CountryGermany
CityRegensburg
Period3/09/077/09/07

Fingerprint

Communication

Keywords

  • EWI-11046
  • IR-61910
  • METIS-241904
  • SCS-Cybersecurity

Cite this

Etalle, S., Massacci, F., & Yautsiukhin, A. (2007). The Meaning of Logs. In C. Lambrinoudakis, G. Pernul, & A. M. Tjoa (Eds.), Trust, Privacy and Security in Digital Business: 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings (pp. 145-154). (Lecture Notes in Computer Science; Vol. 4657). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-540-74409-2_17
Etalle, Sandro ; Massacci, Fabio ; Yautsiukhin, Artsiom. / The Meaning of Logs. Trust, Privacy and Security in Digital Business: 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings. editor / Costas Lambrinoudakis ; Günther Pernul ; A Min Tjoa. Berlin, Heidelberg : Springer, 2007. pp. 145-154 (Lecture Notes in Computer Science).
@inproceedings{432c45a5e71e4fb783e85e1ce6435fe9,
title = "The Meaning of Logs",
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.",
keywords = "EWI-11046, IR-61910, METIS-241904, SCS-Cybersecurity",
author = "Sandro Etalle and Fabio Massacci and Artsiom Yautsiukhin",
year = "2007",
month = "9",
doi = "10.1007/978-3-540-74409-2_17",
language = "English",
isbn = "978-3-540-74408-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "145--154",
editor = "Costas Lambrinoudakis and G{\"u}nther Pernul and Tjoa, {A Min}",
booktitle = "Trust, Privacy and Security in Digital Business",

}

Etalle, S, Massacci, F & Yautsiukhin, A 2007, The Meaning of Logs. in C Lambrinoudakis, G Pernul & AM Tjoa (eds), Trust, Privacy and Security in Digital Business: 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings. Lecture Notes in Computer Science, vol. 4657, Springer, Berlin, Heidelberg, pp. 145-154, 4th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2007, Regensburg, Germany, 3/09/07. https://doi.org/10.1007/978-3-540-74409-2_17

The Meaning of Logs. / Etalle, Sandro ; Massacci, Fabio; Yautsiukhin, Artsiom.

Trust, Privacy and Security in Digital Business: 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings. ed. / Costas Lambrinoudakis; Günther Pernul; A Min Tjoa. Berlin, Heidelberg : Springer, 2007. p. 145-154 (Lecture Notes in Computer Science; Vol. 4657).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - The Meaning of Logs

AU - Etalle, Sandro

AU - Massacci, Fabio

AU - Yautsiukhin, Artsiom

PY - 2007/9

Y1 - 2007/9

N2 - 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.

AB - 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.

KW - EWI-11046

KW - IR-61910

KW - METIS-241904

KW - SCS-Cybersecurity

U2 - 10.1007/978-3-540-74409-2_17

DO - 10.1007/978-3-540-74409-2_17

M3 - Conference contribution

SN - 978-3-540-74408-5

T3 - Lecture Notes in Computer Science

SP - 145

EP - 154

BT - Trust, Privacy and Security in Digital Business

A2 - Lambrinoudakis, Costas

A2 - Pernul, Günther

A2 - Tjoa, A Min

PB - Springer

CY - Berlin, Heidelberg

ER -

Etalle S, Massacci F, Yautsiukhin A. The Meaning of Logs. In Lambrinoudakis C, Pernul G, Tjoa AM, editors, Trust, Privacy and Security in Digital Business: 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings. Berlin, Heidelberg: Springer. 2007. p. 145-154. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-74409-2_17