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 (doi:10.3233/web-180393)

Full text is not in this repository.

Abstract

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: 19 Aug 2019 15:16
URI: https://eprints.mdx.ac.uk/id/eprint/25620

Actions (login required)

Edit Item Edit Item