The Meaning of Logs

Sandro  Etalle; Fabio Massacci; Artsiom Yautsiukhin

doi:10.1007/978-3-540-74409-2_17

The Meaning of Logs

Sandro Etalle, Fabio Massacci, Artsiom Yautsiukhin

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Trust, Privacy and Security in Digital Business
Subtitle of host publication	4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings
Editors	Costas Lambrinoudakis, Günther Pernul, A Min Tjoa
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	145-154
Number of pages	10
ISBN (Electronic)	978-3-540-74409-2
ISBN (Print)	978-3-540-74408-5
DOIs	https://doi.org/10.1007/978-3-540-74409-2_17
Publication status	Published - Sep 2007
Event	4th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2007 - Regensburg, Germany Duration: 3 Sep 2007 → 7 Sep 2007 Conference number: 4

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	4657
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2007
Abbreviated title	TrustBus
Country	Germany
City	Regensburg
Period	3/09/07 → 7/09/07

Keywords

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

Access to Document

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

Fingerprint Dive into the research topics of 'The Meaning of Logs'. Together they form a unique fingerprint.

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). 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 = sep,

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",

note = "4th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2007, TrustBus ; Conference date: 03-09-2007 Through 07-09-2007",

}

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 proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - The Meaning of Logs

AU - Etalle, Sandro

AU - Massacci, Fabio

AU - Yautsiukhin, Artsiom

N1 - Conference code: 4

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

T2 - 4th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2007

Y2 - 3 September 2007 through 7 September 2007

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