Security Policy Formalisms, Fachbücher von Pravin Shetty

"Security Policy Formalisms" ist ein Fachbuch, das sich mit der Entwicklung und Implementierung von Sicherheitsrichtlinien in der vernetzten und dynamischen Welt der pervasive Computing beschäftigt. Es kritisiert die herkömmlichen statischen Ansätze zur Lösung von Sicherheitsproblemen und schlägt stattdessen einen kontextbasierten Ansatz vor. Dieser Ansatz berücksichtigt die variablen Interaktionsniveaus und Ressourcen, die je nach Kontext zur Verfügung stehen. Durch die Untersuchung von Sicherheitsrichtlinien in drei spezifischen Formalismen – mobile Ambients, regelbasierte Argumentation und kontextuelle Graphen – bietet das Buch eine innovative Perspektive auf die Modellierung von Sicherheitsrichtlinien. Es nutzt das Konzept des Ambient Calculus, um eine Vielzahl von Sicherheitsmassnahmen zu definieren, und entwickelt ein mehrstufiges Sicherheitsmodell, das einen kontrollierten Zugang zu wertvollen Ressourcen ermöglicht. Dieses Buch ist eine wertvolle Ressource für Fachleute und Studierende, die sich mit den Herausforderungen und Lösungen im Bereich der Sicherheit in der Informationstechnologie auseinandersetzen.