Information Governance Technologies: Ethics, Policies, Architectures, Engineering | Institut: | E-16 | | Projektleitung: | | | Laufzeit: | 01.07.2017 — 31.12.2020 | | Finanzierung: | Freie und Hansestadt Hamburg (FHH)
|
Erforschung neuer Methoden und Algorithmen, die die formale Beweisbarkeit von IG-Eigenschaften und die Automatisierung von Tests oder Rekonfigurationen von IG-Policies erlaubenErforschung neuer Methoden und Algorithmen, die die formale Beweisbarkeit von IG-Eigenschaften und die Automatisierung von Tests oder Rekonfigurationen von IG-Policies erlauben |
