Graphische Spezifikation von Core-basierten Sicherheitsmo...
Sicherheit von IT-Systemen ist durch die massive Verbreitung und Einsatz dieser heute eine Selbstverständlichkeit geworden. Daher ist es notwendig Sicherheitseigenschaften dieser IT-Systeme auf methodische Art und Weise zu entwickeln. Sicherheitsmodelle sind dabei ein wichtiger Teil Sicherheitspolitiken moderner Betriebssystemen zu formalisieren. Die notwendige mathematische Notation oder Niederschrift mittels Spezifikationssprachen ist jedoch für viele Menschen erfahrungsgemäß unkomfortabel, da Menschen ihre Umgebung primär ...