Enforcing Mobile Application Security Through Probabilistic Contracts

Fabio Martinelli; Ilaria Matteucci; Andrea Saracino; Daniele Sgandurra

Enforcing Mobile Application Security Through Probabilistic Contracts

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	Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014.
Editors	Wouter Joosen, Fabio Martinelli, Thomas Heyman
Publisher	CEUR-WS.org
Volume	1298
Publication status	Published - 2014

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR-WS.org

Access to Document

http://ceur-ws.org/Vol-1298/paper1.pdf

Cite this

Martinelli, F., Matteucci, I., Saracino, A., & Sgandurra, D. (2014). Enforcing Mobile Application Security Through Probabilistic Contracts. In W. Joosen, F. Martinelli, & T. Heyman (Eds.), Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014. (Vol. 1298). (CEUR Workshop Proceedings). CEUR-WS.org. http://ceur-ws.org/Vol-1298/paper1.pdf

Martinelli, Fabio ; Matteucci, Ilaria ; Saracino, Andrea et al. / Enforcing Mobile Application Security Through Probabilistic Contracts. Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014.. editor / Wouter Joosen ; Fabio Martinelli ; Thomas Heyman. Vol. 1298 CEUR-WS.org, 2014. (CEUR Workshop Proceedings).

@inproceedings{7f271d91b4634c67b4340299bb610f97,

title = "Enforcing Mobile Application Security Through Probabilistic Contracts",

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

year = "2014",

language = "English",

volume = "1298",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

editor = "Wouter Joosen and Fabio Martinelli and Thomas Heyman",

booktitle = "Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014.",

}

Martinelli, F, Matteucci, I, Saracino, A & Sgandurra, D 2014, Enforcing Mobile Application Security Through Probabilistic Contracts. in W Joosen, F Martinelli & T Heyman (eds), Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014.. vol. 1298, CEUR Workshop Proceedings, CEUR-WS.org. <http://ceur-ws.org/Vol-1298/paper1.pdf>

Enforcing Mobile Application Security Through Probabilistic Contracts. / Martinelli, Fabio; Matteucci, Ilaria; Saracino, Andrea et al.
Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014.. ed. / Wouter Joosen; Fabio Martinelli; Thomas Heyman. Vol. 1298 CEUR-WS.org, 2014. (CEUR Workshop Proceedings).

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

TY - GEN

T1 - Enforcing Mobile Application Security Through Probabilistic Contracts

AU - Martinelli, Fabio

AU - Matteucci, Ilaria

AU - Saracino, Andrea

AU - Sgandurra, Daniele

PY - 2014

Y1 - 2014

M3 - Conference contribution

VL - 1298

T3 - CEUR Workshop Proceedings

BT - Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014.

A2 - Joosen, Wouter

A2 - Martinelli, Fabio

A2 - Heyman, Thomas

PB - CEUR-WS.org

ER -

Martinelli F, Matteucci I, Saracino A, Sgandurra D. Enforcing Mobile Application Security Through Probabilistic Contracts. In Joosen W, Martinelli F, Heyman T, editors, Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), Munich, Germany, February 26, 2014.. Vol. 1298. CEUR-WS.org. 2014. (CEUR Workshop Proceedings).