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

    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