Anfonwch hwn fel neges destun: Data independent verification of crypto−protocols