发表机构
Ruhr University Bochum; Chalmers | University of Gothenburg; University of Washington; Shostack + Associates(波鸿鲁尔大学; 查尔姆斯理工大学 | 哥德堡大学; 华盛顿大学; Shostack + Associates)
机构由 AI 辅助整理,请以论文原文为准。AI 中文总结
针对软件安全需通过身份验证、加密等特征实现但难确定其代码位置的问题,提出安全特征定位方法,可关联代码与安全特征,助力开发者理解与评估安全实现。
AI 中文摘要
软件安全必须通过身份验证、加密等安全特征实现,但系统实现了哪些特征、位于何处?我们提出安全特征定位:将代码位置与安全特征关联的任务,使开发者能理解安全实现并评估预期安全属性是否被执行。
英文摘要
Software security must be realized through security features such as authentication and encryption, but which features does a system implement, and where? We present security feature location: the task of relating code locations to security features, enabling developers to understand security implementations and assess whether intended security properties are enforced.