Ein Theorem für die Geheimhaltung in markierten Protokollen unter Verwendung der Theorie der Zeugenfunktionen