iOracle: Automated Evaluation of Access Control Policies in iOS
AsiaCCS, pp. 117-131, 2018.
Modern operating systems, such as iOS, use multiple access control policies to define an overall protection system. However, the complexity of these policies and their interactions can hide policy flaws that compromise the security of the protection system. We propose iOracle, a framework that logically models the iOS protection system su...More
Full Text (Upload PDF)
PPT (Upload PPT)