Minimizing transitive trust threats in software management systems

Boender, Jaap, Primiero, Giuseppe and Raimondi, Franco ORCID logoORCID: (2015) Minimizing transitive trust threats in software management systems. 2015 13th Annual Conference on Privacy, Security and Trust (PST). In: 13th Annual Conference on Privacy, Security and Trust (PST 2015), 21-23 Jul 2015, Izmir, Turkey. ISBN 9781467378284. [Conference or Workshop Item] (doi:10.1109/PST.2015.7232973)

PDF - Final accepted version (with author's formatting)
Download (276kB) | Preview


We consider security threats in software installation processes, posed by transitively trusted dependencies between packages from distinct repositories. To analyse them, we present SecureNDC, a Coq implemented calculus using an explicit trust function to bridge repository access and software package installation rights. Thereby, we resolve a version of the minimum install problem under trust conditions on repositories

Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 19194
Notes on copyright: Attached full text: © 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Useful Links:
Depositing User: Giuseppe Primiero
Date Deposited: 12 Apr 2016 11:43
Last Modified: 29 Nov 2022 22:40

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.