Managing software uninstall with negative trust

Conference paper

Primiero, G. and Boender, J. 2017. Managing software uninstall with negative trust. 11th IFIP WG 11.11 International Conference, IFIPTM 2017. Gothenburg, Sweden 12 - 16 Jun 2017 Springer. pp. 79-93
TypeConference paper
TitleManaging software uninstall with negative trust
AuthorsPrimiero, G. and Boender, J.

A problematic aspect of software management systems in view of integrity preservation is the handling, approval, tracking and eventual execution of change requests. In the context of the relation between clients and repositories, trust can help identifying all packages required by the intended installation. Negative trust, in turn, can be used to approach the complementary problem induced by removing packages. In this paper we offer a logic for negative trust which allows to identify admissible and no-longer admissible software packages in the current installation profile in view of uninstall processes. We provide a simple working example and the system is formally verified using the Coq theorem prover.

Research GroupFoundations of Computing group
Conference11th IFIP WG 11.11 International Conference, IFIPTM 2017
Page range79-93
Publication dates
Online20 May 2017
Print09 Jun 2017
Publication process dates
Deposited09 Jun 2017
Accepted10 Mar 2017
Output statusPublished
Accepted author manuscript
Copyright Statement

The final publication is available at Springer via

Additional information

Paper published as:
Primiero G., Boender J. (2017) Managing Software Uninstall with Negative Trust. In: Steghöfer JP., Esfandiari B. (eds) Trust Management XI. IFIPTM 2017. IFIP Advances in Information and Communication Technology, vol 505. Springer, Cham

Digital Object Identifier (DOI)
Book titleTrust Management XI: 11th IFIP WG 11.11 International Conference, IFIPTM 2017, Gothenburg, Sweden, June 12-16, 2017, Proceedings
Permalink -

Download files

Accepted author manuscript
  • 18
    total views
  • 6
    total downloads
  • 4
    views this month
  • 1
    downloads this month

Export as