[PDF][PDF] An Information Flow Security Logic for Permission-Based Declassification Strategy.

Z Dong, Y Zhao, Q Wang - SEKE, 2022 - ksiresearch.org
With the increasing popularity of smartphones and the rapid development of mobile network,
ensuring the security of mobile applications becomes more and more important, which has …