Security and Communication Networks

Research Article

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

Table 1

Setting of initial labels and capabilities of subject and object by EILCM system.
SubjectsSecrecy labelIntegrity labelCapabilitiesObjectsSecrecy labelIntegrity label
IMIM data
MNMN data
EmailETP data
KillerOS config files
UCDownload data
ExplorerOS Updated packages