Probabilistic Contract Compliance for Mobile Applications

G. Dini, F. Martinelli, A. Saracino, D. Sgandurra

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageUndefined/Unknown
Title of host publication2013 International Conference on Availability, Reliability and Security
Pages599-606
Number of pages8
DOIs
Publication statusPublished - 1 Sept 2013

Keywords

  • mobile computing
  • operating systems (computers)
  • probabilistic automata
  • smart phones
  • Action Node
  • Android smart phones
  • PICARD monitoring system
  • mobile applications
  • probabilistic contract compliance
  • probabilistic contract on Android
  • Androids
  • Automata
  • Contracts
  • Humanoid robots
  • Markov processes
  • Monitoring
  • Probabilistic logic
  • Android
  • Malware
  • Probabilistic contract
  • Repackaging

Cite this