أرسل هذا في رسالة قصيرة: Probabilistic Trust Modeling and Security Verification for Smart Grid Systems