External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Certified Reference Validation Mechanism for the Permission Model of Android

Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna. A Certified Reference Validation Mechanism for the Permission Model of Android. In Fabio Fioravanti, John P. Gallagher, editors, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Volume 10855 of Lecture Notes in Computer Science, pages 271-288, Springer, 2017. [doi]

Authors

Gustavo Betarte

This author has not been identified. Look up 'Gustavo Betarte' in Google

Juan Diego Campo

This author has not been identified. Look up 'Juan Diego Campo' in Google

Felipe Gorostiaga

This author has not been identified. Look up 'Felipe Gorostiaga' in Google

Carlos Luna

This author has not been identified. Look up 'Carlos Luna' in Google
runs on