Im folgenden Beitrag wird die Goal Structuring Notation (GSN) vorgestellt, mit deren Hilfe sich Argumentationen, wie für Sicherheitsnachweise, übersichtlich und präzise darstellen lassen. Die semi-formale Goal Structuring Notation ermöglicht es, eine Argumentation zu gliedern, strukturiert und übersichtlich zu präsentieren und Beziehungen zwischen den Argumenten zu erfassen. Durch die verschiedenen Elementtypen der GSN kann der Ersteller einer Argumentation unterschiedliche Arten von Argumenten klar kennzeichnen und außerdem das eigene argumentative Vorgehen explizit erläutern. Dadurch werden Sicherheitsargumentationen besser nachvollziehbar und lassen sich leichter überprüfen.