Attribute-Based Access Control (ABAC): Ein technischer Leitfaden

Was ist ABAC? ABAC (Attribute Based Access Control) ist ein leistungsfähiges Modell zur Verwaltung von Zugriffsrechten in modernen Anwendungen. Diese Attribute sind abhängig von Sicherheitsprinzipien, Ressourcen und der Umgebung einer Zugriffsanforderung. ABAC wertet Attribute oder Eigenschaften aus und bestimmt anhand selbst definierten Regeln (policies), ob der Zugriff gewährt wird oder …

Der IoT-Automat der älter als das Internet war

Paradoxerweise ist das erste Ding, das im Internet war, älter als das Internet selber – oder zumindest das Internet wie wir es heute kennen. Dieses Ding war ein Cola-Automat im Informatik-Department der Carnegie Mellon University (CMU). Und es wurde von Studenten 1982 an einen Server angeschlossen, der mit dem ARPANET …

Unit-Testing mit ChatGPT

Ein wichtiger Bestandteil der Softwareentwicklung sind Unit-Tests. Sie dienen dazu, den Code einer Anwendung auf Fehler zu überprüfen und sicherzustellen, dass dieser wie erwartet funktioniert. Die Schwierigkeit im Schreiben sinnvoller Tests liegt im Finden von geeigneten Testfällen und Randbedingungen, die es zu prüfen gilt. Genau hier soll ChatGTP dich als …

Schneller, besser, Infrastructure as Code

Skalierbarkeit, Wiederverwendbarkeit, Geschwindigkeit und Risikominimierung sind nur einige der Vorteile, die mit Infrastructure as Code versprochen werden und sich hauptsächlich an das Management richten. Diese Philosophie übernimmt Praktiken aus der Software-Entwicklung um die Bereitstellung von Infrastruktur zu optimieren und den Unterhalt zu vereinfachen. Die Umstellung lässt sich in wenigen Schritten …

Kann Formale Verifikation dem Blue Screen den Garaus machen?

“:( Your PC ran into a problem and needs to restart” – Der Blue-Screen ist Stellvertreter für Bugs aller Art und wenn er auftritt, hofft man einfach auf das Beste. Die Macher von seL4 aber haben es geschafft, Blue-Screens völlig zu verhindern: Mit Formaler Verifikation (FV) können sie Fehler in …

Unity – mehr als nur Spielerei

  Unity ist eine der weltweit populärsten Game Engines. Mit bald 20 Jahren auf dem Buckel ist sie aber auch schon ziemlich alt. Lohnt es sich heute noch auf Unity zu setzen? Wir denken ja, denn die Engine kann für mehr als «nur» Spiele eingesetzt werden: Zum Beispiel in der …