BesFS: Ein POSIX-Dateisystem für Enklaven mit mechanisiertem Sicherheitsnachweis