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

Paolo Greci, Fabio Martinelli, Ilaria Matteucci

Browse the full ISoLA paper archive.