Secure-CamFlow: A Device Oriented Security Model to Assist Information Flow Control Systems in Cloud Environments for IoTs, Concurrency and Computation: Practice and Experience, vol. 31, no. 8, pp. 1-22, 2019.