Now showing items 1-1 of 1

    • Reasoning about the safety of information: from logical formalization to operational definition 

      Cholvy, Laurence; Demolombe, Robert (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
      Conference report
      Open Access
      We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to represent information safety, and to derive ...