
Software
SoftwareTowards Explaining Rebuttals in Security Arguments
The satisfaction of software security requirements can be argued using supporting facts and domain assumptions. Sometimes, these facts or assumptions may be questioned, as more knowledge about vulnerabilities becomes available. This results in rebuttals that can be derived from the new information. In this paper, the authors outline an extension of their OpenArgue tool with ...