Brokering Policies and Execution Monitors for IoT Middleware. - Juan Carlos Fuentes Carranza; Philip W. L. Fong (SACMAT, 2019)