ARETHUS - A Decision Support Platform for Reasoning About Security