Negative trust for conflict resolution in software management

Primiero, Giuseppe and Boender, Jaap (2018) Negative trust for conflict resolution in software management. Web Intelligence, 16 (4) . pp. 251-271. ISSN 2405-6456 [Article] (doi:10.3233/web-180393)


Software management systems need to preserve integrity by the handling, approval, tracking and execution of changes on the packages of the current installation profile. This is a problematic task, which needs to be accounted for both in terms of installation of new packages and removal of conflicting ones. While existing approaches are able to identify dependency satisfaction and conflicts, a broader and efficient approach can be formalised in terms of trust. Positive instances of trust are required by the identification of safely installable packages. Negative trust, a much less explored concept, can be useful to analyse the complementary issue of packages’ removal both in case of conflicts and of security issues. In this paper we develop a logic of negative trust with two aims: identifying packages that are undesirable in view of the current installation profile; and currently installed packages that become inconsistent with a new intended installation. The logic provides distinct procedures for the identification of either case. We illustrate properties of the calculus, provide a simple working example and offer a translation of the protocol to the Coq proof assistant for verification of its formal correctness.

Item Type: Article
Keywords (uncontrolled): Computer Networks and Communications, Software, Artificial Intelligence
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 25620
Useful Links:
Depositing User: Jisc Publications Router
Date Deposited: 16 Nov 2018 10:10
Last Modified: 23 Nov 2020 20:18

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.