Anfonwch hwn fel neges destun: Provable security