Items where Author is "Kammueller, Florian"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Article | Book Section
Number of items: 2.
Article
Karthick, Gayathri 
ORCID: https://orcid.org/0000-0003-1228-7099, Mapp, Glenford, Kammueller, Florian and Aiash, Mahdi
(2021)
Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems.
Computational Intelligence, 38 (3).
pp. 811-828.
Book Section
Karthick, Gayathri ORCID: https://orcid.org/0000-0003-1228-7099, Mapp, Glenford, Kammueller, Florian and Aiash, Mahdi
(2018)
Formalization and Analysis of a Resource Allocation Security Protocol for Secure Service Migration.
In:
2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion (UCC Companion).
IEEE