Login / Signup
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
Published in:
Secur. Commun. Networks (2021)
Keyphrases
</>
formal model
cost function
experimental data
computational model
mathematical model
statistical model
open source
similarity measure
reinforcement learning
wireless sensor networks
context aware
theoretical analysis
conceptual model