Cryptographic protocols can sometimes be verified formally on an abstract level.
يمكن في بعض الأحيان لبروتوكولات التشفير ان تقيم تحقيق رسميا على المستوى المجرد.