|
[NGMK16]
Athanasios Naskos, Anastasios Gounaris, Haralambos Mouratidis and Panagiotis Katsaros.
Online analysis of security risks in elastic cloud applications using probabilistic model checking.
IEEE Cloud Computing Magazine.
2016.
[Analyses the trade-offs between security risks and performance in cloud computing systems using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|