Formal Aspects in Security and Trust, Fachbücher von Fabio Martinelli, Theo Dimitrakos

"Formal Aspects in Security and Trust" ist ein Fachbuch, das sich mit den Herausforderungen und Entwicklungen im Bereich der Sicherheit und des Vertrauens in modernen Informations- und Kommunikationstechnologien (IKT) befasst. Es basiert auf den Ergebnissen des zweiten internationalen Workshops zu diesem Thema, der im Rahmen des 18. IFIP World Computer Congress im Jahr 2004 in Toulouse, Frankreich, stattfand. Das Buch bietet eine umfassende Analyse der Notwendigkeit, neue, skalierbare und flexible Modelle für die Durchsetzung von Sicherheit über organisatorische Grenzen hinweg zu entwickeln. Angesichts der Komplexität und der Unsicherheiten, die mit der Identität und Vertrauenswürdigkeit von Netzwerkpartnern verbunden sind, wird die Bedeutung von innovativen Konzepten und Methoden hervorgehoben, um das Vertrauen der Nutzer in die zugrunde liegende Computerinfrastruktur zu stärken. Die in diesem Band präsentierten Arbeiten sind sowohl für akademische als auch für berufliche Forscher von Bedeutung und bieten wertvolle Einblicke in die zukünftigen Paradigmen der ambienten Intelligenz und deren Auswirkungen auf die Vertrauensbildung in virtuellen Organisationen.