可信智能手环：基于威胁建模的安全需求分析
密码学与安全
2018-12-07 v1
摘要
随着智能手环使生活更加便利并提供积极的生活方式，如今许多人都在使用它们。由于智能手环处理私人信息，智能手环系统的安全设计与实现变得十分必要。为了打造可信的智能手环，我们必须首先推导系统的安全需求，然后设计满足这些安全需求的系统。在本文中，我们将数据流图、STRIDE 和攻击树等威胁建模技术应用于智能手环系统，以识别威胁并相应地推导安全需求。通过威胁建模，我们发现了智能手环系统的漏洞，并成功利用这些漏洞攻击了智能手环。为了防御这些威胁，我们提出了安全措施，并使用用于安全协议自动验证的工具 Scyther 验证其安全性。
引用
@article{arxiv.1812.02361,
title = {Trustworthy Smart Band: Security Requirement Analysis with Threat Modeling},
author = {Suin Kang and Hye Min Kim and Huy Kang Kim},
journal= {arXiv preprint arXiv:1812.02361},
year = {2018}
}