Login / Signup

A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application.

Paolo GreciFabio MartinelliIlaria Matteucci
Published in: ISoLA (2008)
Keyphrases
  • main contribution
  • mobile devices
  • data sets
  • context aware
  • theoretical framework
  • graph matching
  • neural network
  • learning activities
  • stereo matching
  • markov decision process