Einen strikten mathematischen Beweis für die Sicherheit der digitalen Signatur gibt es für das 1979 von Michael Oser Ra­bin vorgeschlagene Verfahren unter der Voraussetzung, dass es praktisch unmöglich ist die Primzahlen aus dem Produkt n gleich p mal q zu bestimmen und bestimmte als plausibel ange­nommene Annahmen für die Hash-Werte gelten.