Back أمن مبرهن Arabic প্রমাণযোগ্য নিরাপত্তা Bengali/Bangla Provable security English Preuve de sécurité French Sicurezza dimostrabile Italian 証明可能安全性を持つ暗号 Japanese 안전성 증명 Korean
Beweisbare Sicherheit ist ein Konzept in der modernen Kryptologie. In der Geschichte der Kryptographie gibt es viele Beispiele von Systemen, die von ihren Erfindern für sicher gehalten wurden, aber dennoch gebrochen werden konnten. Es ist daher wünschenswert, sich durch einen Beweis auf formalem Weg von der Sicherheit eines Systems zu überzeugen. Dazu muss sowohl das kryptographische System als auch die zu erreichende Sicherheit formalisiert werden.