Sign in

Lintent: Towards Security Type-Checking of Android Applications.

Michele BugliesiStefano CalzavaraAlvise Spanò
Published in: FMOODS/FORTE (2013)
Keyphrases
  • type checking
  • database query languages
  • query processor
  • xml documents
  • data types
  • relational calculus
  • management system