A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. - Paolo Greci; Fabio Martinelli; Ilaria Matteucci (ISoLA, 2008)