Formal Aspects in Security and Trust, Fachbücher von Fabio Martinelli, Joshua D. Guttman, Pierpaolo Degano

Das Buch "Formal Aspects in Security and Trust" dokumentiert die Proceedings des 5. Internationalen Workshops zu formalen Aspekten in Sicherheit und Vertrauen (FAST 2008), der am 9. und 10. Oktober 2008 in Malaga, Spanien, stattfand. Diese Veranstaltung war Teil des 13. Europäischen Symposiums über Forschung in der Computersicherheit (ESORICS 2008) und wurde unter dem Schirm der IFIP WG 1.7 zu den Grundlagen der Sicherheitsanalyse und -gestaltung durchgeführt. Der Workshop hatte das Ziel, die Zusammenarbeit unter Forschenden in den Bereichen Sicherheit und Vertrauen zu fördern, insbesondere in einer Zeit, in der Computer- und Netzwerkstrukturen immer allgegenwärtiger werden und eine zunehmende wirtschaftliche Aktivität tragen. In diesem Kontext sind gut abgestimmte Sicherheits- und Vertrauensmechanismen von entscheidender Bedeutung, da sie die Interaktionen zwischen verschiedenen Unternehmen und lose strukturierten Gemeinschaften von Individuen steuern. Die in diesem Band versammelten Beiträge konzentrieren sich auf formale Modelle und Ansätze zur Analyse von Sicherheits- und Vertrauensfragen, die für die Entwicklung effektiver Sicherheitsstrategien unerlässlich sind.