Minimizing transitive trust threats in software management systems
Conference paper
Boender, J., Primiero, G. and Raimondi, F. 2015. Minimizing transitive trust threats in software management systems. 13th Annual Conference on Privacy, Security and Trust (PST 2015). Izmir, Turkey 21 - 23 Jul 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 191-198 https://doi.org/10.1109/PST.2015.7232973
Type | Conference paper |
---|---|
Title | Minimizing transitive trust threats in software management systems |
Authors | Boender, J., Primiero, G. and Raimondi, F. |
Abstract | 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 |
Research Group | Foundations of Computing group |
Conference | 13th Annual Conference on Privacy, Security and Trust (PST 2015) |
Page range | 191-198 |
ISBN | |
Hardcover | 9781467378284 |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Publication dates | |
01 Jul 2015 | |
Publication process dates | |
Deposited | 12 Apr 2016 |
Accepted | 25 May 2015 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | 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. |
Digital Object Identifier (DOI) | https://doi.org/10.1109/PST.2015.7232973 |
Language | English |
Book title | 2015 13th Annual Conference on Privacy, Security and Trust (PST) |
https://repository.mdx.ac.uk/item/8636v
Download files
30
total views9
total downloads1
views this month0
downloads this month