A formal model for isolation management in cloud infrastructure-as-a-service (2014)

by K Bijon, R Krishnan, R Sandhu
Venue:In Proceedings of the Network and System Security