Abstract
| 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 | |
| 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 |
Fingerprint
Keywords
- EWI-11046
- IR-61910
- METIS-241904
- SCS-Cybersecurity
Cite this
}
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
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 -