Formally Verifying the Security and Privacy of an Adopted Standard for Software-Update in Cars: Verifying Uptane 2.0
Formally Verifying the Security and Privacy of an Adopted Standard for Software-Update in Cars: Verifying Uptane 2.0
复制标题
正式验证汽车软件更新采用标准的安全性和隐私性：验证 Uptane 2.0
DOI：
10.1109/smc53992.2023.10394216
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Boureanu I
中科院分区：
文献类型：
--
作者：
Boureanu I
Uptane：确保汽车软件更新安全
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
T. Karthik;Kuppusamy;Damon McCoy
通讯作者：
Damon McCoy
在 CSP 中正式化 UPTANE 以进行安全测试
DOI：
10.1109/qrs-c55045.2021.00124
发表时间：
2021
期刊：
2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)
影响因子：
--
作者：
Rhys Kirk;N. H. Nga;J. Bryans;S. Shaikh;D. Evans;David Price
通讯作者：
David Price