Formalization and Analysis of a Resource Allocation Security Protocol for Secure Service Migration.

Gayathri Karthick, Glenford Mapp, Florian Kammueller, Mahdi Aiash

Browse the full UCC paper archive.