أرسل هذا في رسالة قصيرة: Logics and languages for reliability and security