@conference{diniintroducing,
author = "Gianluca Dini and Fabio Martinelli and Ilaria Matteucci and Andrea Saracino",
journal = "Data Privacy Management and Autonomous Spontaneous Security",
note = "no tier",
pages = "284",
title = "{I}ntroducing {P}robabilities in {C}ontract-{B}ased {A}pproaches for {M}obile {A}pplication {S}ecurity",
}