A Noninterference Model for Mobile OS Information Flow Control and Its Policy Verification

Zhanhui Yuan, Wenfa Li, Zhi Yang, Lei Sun, Xuehui Du, Hongqi Zhang. A Noninterference Model for Mobile OS Information Flow Control and Its Policy Verification. Security and Communication Networks, 2021, 2021. [doi]

Abstract

Abstract is missing.