Modeling and Analyzing the Android Permission Framework using High Level Petri Nets Conference

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

keywords

  • Android permission
  • Computer Science
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • Science & Technology
  • Technology
  • formal methods
  • high level Petri nets
  • modeling
  • security
  • verification and validation

Digital Object Identifier (DOI)

start page

  • 232

end page

  • 239