Argumentation-Based Security Requirements Analysis: BitMessage Case Study. - Andor Kovacs; Ioannis Karakatsanis; Davor Svetinovic (iThings/GreenCom/CPSCom, 2014)