He, Xudong. (2017). Modeling and Analyzing the Android Permission Framework using High Level Petri Nets
.
232-239. 10.1109/QRS.2017.34
He, Xudong. (2017). Modeling and Analyzing the Android Permission Framework using High Level Petri Nets
. 232-239. 10.1109/QRS.2017.34