@inproceedings{3f09a916c23d444ebd6a7c2c2201f115,
title = "Verifying Timed Commitment Specifications for IoT-Cloud Systems with Uncertainty",
abstract = "Cloud Computing plays an essential role in meeting the increasing demand for large data storage and infrastructures in IoT applications. The applications of IoT-Cloud are in an exponential rise in the number of interacting components with different interaction protocols within open and uncertain environments. The main challenge that faces these applications is ensuring their reliability and efficiency. This paper proposes a scalable verification approach for IoT-Cloud applications in uncertainty-characterised settings with timed commitments using three-valued model checking. Timed commitments are powerful artifacts that capture flexible and rich interaction protocols. We use a new logic for reasoning about uncertainty in commitment protocols, model a smart contract-based IoT mortgage system with commitments under uncertain settings, introduce a set of specifications, and implement a verification framework of our model against its specifications using a transformation algorithm and the model checker. Finally, we report and discuss our experimental results.",
keywords = "cloud computing, IoT, model checking, three-valued logic, timed commitment logic",
author = "Ghalya Alwhishi and Jamal Bentahar and Ahmed Elwhishi",
note = "Publisher Copyright: {\textcopyright} 2022 IEEE.; 9th International Conference on Future Internet of Things and Cloud, FiCloud 2022 ; Conference date: 22-08-2022 Through 24-08-2022",
year = "2022",
doi = "10.1109/FiCloud57274.2022.00031",
language = "British English",
series = "Proceedings - 2022 International Conference on Future Internet of Things and Cloud, FiCloud 2022",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "173--180",
editor = "Muhammad Younas and Irfan Awan and Wenny Rahayu",
booktitle = "Proceedings - 2022 International Conference on Future Internet of Things and Cloud, FiCloud 2022",
address = "United States",
}