Introducing probabilities in contract-based approaches for mobile application security

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

doi:10.1007/978-3-642-54568-9_18

Introducing probabilities in contract-based approaches for mobile application security

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

Department of Information Security

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Data Privacy Management and Autonomous Spontaneous Security - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Revised Selected Papers
Publisher	Springer-Verlag
Pages	284-299
Number of pages	16
Volume	8247 LNCS
ISBN (Print)	9783642545672
DOIs	https://doi.org/10.1007/978-3-642-54568-9_18
Publication status	Published - 2014
Event	8th 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 2013 → 13 Sept 2013

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8247 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	8th International Workshop on Data Privacy Management, DPM 2013 and 6th International Workshop on Autonomous and Spontaneous Security, SETOP 2013
Country/Territory	United Kingdom
City	Egham
Period	12/09/13 → 13/09/13

Keywords

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

Access to Document

10.1007/978-3-642-54568-9_18

https://link.springer.com/chapter/10.1007/978-3-642-54568-9_18

Cite this

Dini, G., Martinelli, F., Matteucci, I., Saracino, A., & Sgandurra, D. (2014). Introducing probabilities in contract-based approaches for mobile application security. In Data Privacy Management and Autonomous Spontaneous Security - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Revised Selected Papers (Vol. 8247 LNCS, pp. 284-299). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8247 LNCS). Springer-Verlag. https://doi.org/10.1007/978-3-642-54568-9_18

Dini, Gianluca ; Martinelli, Fabio ; Matteucci, Ilaria et al. / Introducing probabilities in contract-based approaches for mobile application security. Data Privacy Management and Autonomous Spontaneous Security - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Revised Selected Papers. Vol. 8247 LNCS Springer-Verlag, 2014. pp. 284-299 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{061c103e8ac14a1bb3a8475803cbafab,

title = "Introducing probabilities in contract-based approaches for mobile application security",

keywords = "Contract-based security approaches, Probabilistic contract, Probabilistic policy compliance, Run-time enforcement",

author = "Gianluca Dini and Fabio Martinelli and Ilaria Matteucci and Andrea Saracino and Daniele Sgandurra",

year = "2014",

doi = "10.1007/978-3-642-54568-9_18",

language = "English",

isbn = "9783642545672",

volume = "8247 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "284--299",

booktitle = "Data Privacy Management and Autonomous Spontaneous Security - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Revised Selected Papers",

note = "8th International Workshop on Data Privacy Management, DPM 2013 and 6th International Workshop on Autonomous and Spontaneous Security, SETOP 2013 ; Conference date: 12-09-2013 Through 13-09-2013",

}

Dini, G, Martinelli, F, Matteucci, I, Saracino, A & Sgandurra, D 2014, Introducing probabilities in contract-based approaches for mobile application security. in Data Privacy Management and Autonomous Spontaneous Security - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Revised Selected Papers. vol. 8247 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8247 LNCS, Springer-Verlag, pp. 284-299, 8th International Workshop on Data Privacy Management, DPM 2013 and 6th International Workshop on Autonomous and Spontaneous Security, SETOP 2013, Egham, United Kingdom, 12/09/13. https://doi.org/10.1007/978-3-642-54568-9_18

Introducing probabilities in contract-based approaches for mobile application security. / Dini, Gianluca; Martinelli, Fabio; Matteucci, Ilaria et al.
Data Privacy Management and Autonomous Spontaneous Security - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Revised Selected Papers. Vol. 8247 LNCS Springer-Verlag, 2014. p. 284-299 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8247 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Introducing probabilities in contract-based approaches for mobile application security

AU - Dini, Gianluca

AU - Martinelli, Fabio

AU - Matteucci, Ilaria

AU - Saracino, Andrea

AU - Sgandurra, Daniele

PY - 2014

Y1 - 2014

KW - Contract-based security approaches

KW - Probabilistic contract

KW - Probabilistic policy compliance

KW - Run-time enforcement

UR - http://www.scopus.com/inward/record.url?scp=84958521048&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-54568-9_18

DO - 10.1007/978-3-642-54568-9_18

M3 - Conference contribution

AN - SCOPUS:84958521048

SN - 9783642545672

VL - 8247 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 284

EP - 299

BT - Data Privacy Management and Autonomous Spontaneous Security - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Revised Selected Papers

PB - Springer-Verlag

T2 - 8th International Workshop on Data Privacy Management, DPM 2013 and 6th International Workshop on Autonomous and Spontaneous Security, SETOP 2013

Y2 - 12 September 2013 through 13 September 2013

ER -

Dini G, Martinelli F, Matteucci I, Saracino A, Sgandurra D. Introducing probabilities in contract-based approaches for mobile application security. In Data Privacy Management and Autonomous Spontaneous Security - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Revised Selected Papers. Vol. 8247 LNCS. Springer-Verlag. 2014. p. 284-299. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-54568-9_18

Introducing probabilities in contract-based approaches for mobile application security

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this