Search results
-
-
Title
-
Using formal methods towards improving cloud IaaS environments
-
Author
-
Al-Haj, Saeed
-
Date Created
-
2016
-
Subjects--Topical
-
Computer science
-
Description
-
Cloud computing has become a prominent technology with the potential for tremendously positive effects on the future of computer networks and services. However, as the resources are shared in cloud environments, cloud security is a major concern. ...