امنيت اثبات پذير در پروتكل هاي رمزنگاري