Welcome to the InfoSci Platform
Runtime Monitoring of IoT Services to Guarantee Properties

Runtime Monitoring of IoT Services to Guarantee Properties

Copyright: © 2019 |Pages: 53
ISBN13: 9781522576228|ISBN10: 1522576223|ISBN13 Softcover: 9781522587118|EISBN13: 9781522576235
DOI: 10.4018/978-1-5225-7622-8.ch007
Cite Chapter Cite Chapter

MLA

Yang Zhang and Yanmeng Guo. "Runtime Monitoring of IoT Services to Guarantee Properties." Integrating and Streamlining Event-Driven IoT Services, IGI Global, 2019, pp.223-275. https://doi.org/10.4018/978-1-5225-7622-8.ch007

APA

Y. Zhang & Y. Guo (2019). Runtime Monitoring of IoT Services to Guarantee Properties. IGI Global. https://doi.org/10.4018/978-1-5225-7622-8.ch007

Chicago

Yang Zhang and Yanmeng Guo. "Runtime Monitoring of IoT Services to Guarantee Properties." In Integrating and Streamlining Event-Driven IoT Services. Hershey, PA: IGI Global, 2019. https://doi.org/10.4018/978-1-5225-7622-8.ch007

Export Reference

Mendeley
Favorite

Abstract

Ensuring that a critical information infrastructure remains in a safe and secure state is a mandatory requirement. When IoT services related to such an infrastructure are open to the internet, existing execution monitoring technologies do not work well to protect it; internal malware may compromise and subvert the monitoring mechanism itself, and the safety properties will interact with its security property. In this chapter, an isolation-based solution is proposed to enforce property policies for runtime IoT services. First, the issue of isolation-based service trace observation is addressed by establishing and modelling a virtual channel. Then, the issue of isolation-based policy enforcement is discussed, and the incompleteness and inconsistency of trace knowledge observed in the virtual channel is addressed. Finally, physical systems are introduced into the proposed runtime monitors, and the controllability of IoT services is discussed as an example of the enforcement of service properties. Several experiments are carried out to demonstrate this solution.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.