Modeling and Verifying Services of IaaS in Cloud Computing Based on Labeled Transition System
In order to handle the lack of formal modeling for the IaaS and its validation issue,this paper focuses on the interactions between internal components triggered by user behavior,modeling the IaaS service as the interactions between the users and the entities within inter-cloud platform,as well as the entities within cloud platform.We take labeled transition system(LTS) as operation semantics for formalizing communication model when using IaaS platform services,which can show the changes of dynamic performance about the platform status,to solve state explosion problem.Meanwhile,we simplify the model without sacrificing the service correctness in user”s view.Finally,we give the security attributes of cloud services and find some threats prone to service failure by using model checking tools UPPAAL to analyze the performance of current IaaS platform.This paper also provides a theory fundamental for the security enforcement of IaaS service and contributes to the prevailing of cloud computing.
Infrastructure-as-a-Service (IaaS) cloud services modeling labeled transition system UPPAAL Citation
国内会议
湖北恩施
英文
1-15
2014-09-13（万方平台首次上网日期，不代表论文的发表时间）