The Security Feature Location Problem
Researchers formalize security feature location, mapping code regions to security features like authentication and encryption to audit implementations.
The paper introduces security feature location: the task of relating code locations to implemented security features such as authentication and encryption. It argues the task enables developers to understand security implementations and assess whether intended security properties are actually enforced in software systems.