• DocumentCode
    3118158
  • Title

    Designing Log Architectures for Legal Evidence

  • Author

    Le Métayer, Daniel ; Mazza, Eduardo ; Potet, Marie-Laure

  • Author_Institution
    INRIA, Grenoble Rhône-Alpes, France
  • fYear
    2010
  • fDate
    13-18 Sept. 2010
  • Firstpage
    156
  • Lastpage
    165
  • Abstract
    Establishing contractual liabilities in case of litigation is generally a delicate matter. It becomes even more challenging when IT systems are involved. At the core of the problem lies the issue of the evidence provided by the opposing parties. We believe that the means to constitute evidence that could be used in case of conflict should be considered from the onset of IT projects and be part of the requirements for the design of IT systems. This paper proposes criteria for acceptable log architectures depending on the features of the system and the potential claims between the parties. We establish properties guaranteed by acceptable architectures and illustrate our framework with a travel booking system.
  • Keywords
    contracts; system monitoring; travel industry; IT project; IT systems; contractual liability; legal evidence; litigation; log architecture design; travel booking system; Computer architecture; Computers; Electronic mail; Law; Radiation detectors; Semantics; Liability; accountability; evidence; legal; log; trust;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
  • Conference_Location
    Pisa
  • Print_ISBN
    978-1-4244-8289-4
  • Type

    conf

  • DOI
    10.1109/SEFM.2010.29
  • Filename
    5637424