Vorstudien zum Projekt ÖvIT Ökosystem vertrauenswürdige IT: Beweisbare Cybersicherheit (ÖvIT) Das Forschungsprojekt ÖvIT hat das Ziel, die technologische Souveränität der Bundesrepublik Deutschland zu stärken. Dafür soll eine leistungsfähige Alternative zu bestehender IT-Hardware und Software geschaffen werden, deren Cybersicherheit sich mit Hilfe sogenannter formaler Methoden beweisen lässt. Denn das Vertrauen in die korrekte und sichere Ausführung in einer zugesicherten Spezifikation ist … oevit-vorstudien weiterlesen