Үүнийг мессежээр илгээх: Data independent verification of crypto−protocols