Research Article

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

Figure 2

A typical application scenario of a desktop operating system.