Security Agent-Oriented Requirements Engineering, Fachbücher von Nicola Zannone

Das Buch "Security Agent-Oriented Requirements Engineering" von Nicola Zannone bietet eine umfassende Analyse der Herausforderungen und Konzepte im Bereich der Sicherheitsanforderungen in der Softwareentwicklung. Es wird betont, dass Sicherheit von den frühesten Phasen des Entwicklungsprozesses berücksichtigt werden muss. Der Autor beleuchtet die Notwendigkeit, Sicherheitsaspekte in sozio-technischen Systemen zu erfassen und die Unterstützung, die Unternehmen benötigen, um Sicherheitsrichtlinien gemäss ISO-Sicherheitsstandards und Datenschutzgesetzen zu definieren. Durch die Einführung der SI-Modellierungssprache und der Secure Tropos-Methodologie wird ein Rahmen geschaffen, um Sicherheitsanforderungen auf organisatorischer Ebene zu modellieren und zu analysieren. Die Konzepte von Erlaubnis, Delegation und Vertrauen werden formalisiert und unterstützen den Prozess der Anforderungsanalyse mithilfe eines formalen Werkzeuges zur Argumentation.