Argumentation-Based Security Requirements Analysis: BitMessage Case Study | IEEE Conference Publication | IEEE Xplore