The meaning of logs

S. Etalle, F. Massacci, A. Yautsiukhin

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

    4 Citations (Scopus)
    96 Downloads (Pure)


    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 (4th International Conference, TrustBus 2007, Regensburg, Germany, September 4-6, 2007. Proceedings)
    EditorsC. Lambrinoudakis, G. Pernul, A. Min Tjoa
    Place of PublicationBerlin
    ISBN (Print)978-3-540-74408-5
    Publication statusPublished - 2007
    Eventconference; TrustBus 2007, Regensburg, Germany; 2007-09-04; 2007-09-06 -
    Duration: 4 Sep 20076 Sep 2007

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743


    Conferenceconference; TrustBus 2007, Regensburg, Germany; 2007-09-04; 2007-09-06
    OtherTrustBus 2007, Regensburg, Germany


    Dive into the research topics of 'The meaning of logs'. Together they form a unique fingerprint.

    Cite this