أرسل هذا في رسالة قصيرة: Public announcement logic in cryptographic protocol /