Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets

Xudong He. Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets. In 2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017, Prague, Czech Republic, July 25-29, 2017. pages 232-239, IEEE, 2017. [doi]

Abstract

Abstract is missing.