Login / Signup

A Formal Model to Analyze the Permission Authorization and Enforcement in the Android Framework.

Wook ShinShinsaku KiyomotoKazuhide FukushimaToshiaki Tanaka
Published in: SocialCom/PASSAT (2010)
Keyphrases
  • formal model
  • access control
  • main contribution
  • trust management
  • mobile devices
  • theoretical framework
  • formal models
  • policy enforcement
  • probabilistic model
  • case based reasoning