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.

Managing software uninstall with negative trust / G. Primiero, J. Boender (IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY). - In: Trust Management XI / [a cura di] J.-P. Steghöfer, B. Esfandiari. - [s.l] : Springer, 2017. - ISBN 9783319591704. - pp. 79-93 (( Intervento presentato al 11. convegno IFIP WG 11.11 International Conference on Trust Management (IFIPTM) tenutosi a Gothenburg nel 2017 [10.1007/978-3-319-59171-1_7].

Managing software uninstall with negative trust

G. Primiero;
2017

Abstract

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.
distrust
Settore M-FIL/02 - Logica e Filosofia della Scienza
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
Primiero_Trust+Management+XI.pdf

accesso riservato

Tipologia: Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione 195.04 kB
Formato Adobe PDF
195.04 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
main.pdf

accesso aperto

Tipologia: Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione 423.99 kB
Formato Adobe PDF
423.99 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2434/700169
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 3
social impact