Biçimsel Doğrulama

Kriptografın belirli özelliklerini sağlamak için matematiksel olarak titiz kanıtların kullanılması.