Managing Software Uninstall with Negative Trust - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Managing Software Uninstall with Negative Trust

Giuseppe Primiero
  • Fonction : Auteur
  • PersonId : 998678
Jaap Boender
  • Fonction : Auteur
  • PersonId : 1024072

Résumé

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.
Fichier principal
Vignette du fichier
450659_1_En_7_Chapter.pdf (320.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01651164 , version 1 (28-11-2017)

Licence

Paternité

Identifiants

Citer

Giuseppe Primiero, Jaap Boender. Managing Software Uninstall with Negative Trust. 11th IFIP International Conference on Trust Management (TM), Jun 2017, Gothenburg, Sweden. pp.79-93, ⟨10.1007/978-3-319-59171-1_7⟩. ⟨hal-01651164⟩
40 Consultations
31 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More