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

Location

  • Prague, CZECH REPUBLIC

Digital Object Identifier (DOI)

Conference

  • IEEE International Conference on Software Quality, Reliability and Security (Companion Volume)

publisher

  • IEEE

start page

  • 232

end page

  • 239