Managing Software Uninstall with Negative Trust

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.
Type de document :
Communication dans un congrès
Jan-Philipp Steghöfer; Babak Esfandiari. 11th IFIP International Conference on Trust Management (TM), Jun 2017, Gothenburg, Sweden. Springer International Publishing, IFIP Advances in Information and Communication Technology, AICT-505, pp.79-93, 2017, Trust Management XI. 〈10.1007/978-3-319-59171-1_7〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01651164
Contributeur : Hal Ifip <>
Soumis le : mardi 28 novembre 2017 - 17:08:58
Dernière modification le : mardi 28 novembre 2017 - 17:10:06

Fichier

 Accès restreint
Fichier visible le : 2020-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Giuseppe Primiero, Jaap Boender. Managing Software Uninstall with Negative Trust. Jan-Philipp Steghöfer; Babak Esfandiari. 11th IFIP International Conference on Trust Management (TM), Jun 2017, Gothenburg, Sweden. Springer International Publishing, IFIP Advances in Information and Communication Technology, AICT-505, pp.79-93, 2017, Trust Management XI. 〈10.1007/978-3-319-59171-1_7〉. 〈hal-01651164〉

Partager

Métriques

Consultations de la notice

29