Formal Trust-based Security Approach for Uncertain IoT-Cloud Systems. - Khalid Sultan; Omar Ibrahim Marey; Mounib Khanafer; Marwah Sharawi; Aaron Rasheed Rababaah (ICECET, 2025)