"Argumentation-Based Security Requirements Analysis: BitMessage Case Study."

Andor Kovacs, Ioannis Karakatsanis, Davor Svetinovic (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics