Introducing probabilities in contract-based approaches for mobile application security

Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra

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

Original languageEnglish
Title of host publicationData Privacy Management and Autonomous Spontaneous Security - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Revised Selected Papers
PublisherSpringer-Verlag
Pages284-299
Number of pages16
Volume8247 LNCS
ISBN (Print)9783642545672
DOIs
Publication statusPublished - 2014
Event8th International Workshop on Data Privacy Management, DPM 2013 and 6th International Workshop on Autonomous and Spontaneous Security, SETOP 2013 - Egham, United Kingdom
Duration: 12 Sept 201313 Sept 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8247 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference8th International Workshop on Data Privacy Management, DPM 2013 and 6th International Workshop on Autonomous and Spontaneous Security, SETOP 2013
Country/TerritoryUnited Kingdom
CityEgham
Period12/09/1313/09/13

Keywords

  • Contract-based security approaches
  • Probabilistic contract
  • Probabilistic policy compliance
  • Run-time enforcement

Cite this