Arguing Security, Fachbücher von Charles B. Haley

"Arguing Security" ist ein Fachbuch, das ein umfassendes Rahmenwerk für die Erhebung und Analyse von Sicherheitsanforderungen präsentiert. Es bietet eine strukturierte Herangehensweise zur Konstruktion eines Kontexts für das System, in dem Sicherheitsanforderungen als Einschränkungen dargestellt werden. Das Buch erläutert, wie Zufriedenheitsargumente für diese Anforderungen entwickelt werden, wobei der Systemkontext mithilfe einer problemorientierten Notation beschrieben und gegen die Sicherheitsanforderungen validiert wird. Die Zufriedenheitsargumentation besteht aus einem formalen Argument, das die Erfüllung der Sicherheitsanforderungen durch das System belegt, sowie einem strukturierten informellen Argument, das die Annahmen des formalen Arguments in Frage stellt. Sollte die Konstruktion des Zufriedenheitsarguments scheitern, wird dies als Hinweis darauf gewertet, dass entweder die Sicherheitsanforderung im gegebenen Kontext nicht erfüllt werden kann oder dass der Kontext nicht genügend Informationen enthält, um das Argument zu entwickeln. In solchen Fällen sind Designer und Architekten gefordert, zusätzliche Entwurfsinformationen bereitzustellen, um die Probleme zu lösen. Das Rahmenwerk wird anhand einer Analyse von Sicherheitsanforderungen in einem Evaluierungsprojekt für Luftverkehrskontrolltechnologien evaluiert.