|
[ALMS21]
Alessandro Aldini, Antonio La Marra, Fabio Martinelli and Andrea Saracino.
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices.
Soft Computing, 25, pages 2295–2314, Springer.
2021.
[Proposes a probabilistic security-by-contract paradigm, including the use of probabilistic model checking and PRISM.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|