Trust But Verify(TBV): A Framework for the Trustworthiness of Distributed Systems - Albarrak, Reem M. (ProQuest Dissertations and Theses, 2025)