Pengesahan rasmi

Menggunakan bukti yang ketat secara matematik untuk memastikan sifat tertentu algoritma kriptografi dan mekanisme blok