The execution context of the cloud composite services is dynamically and rapidly changing.
In the cloud environment, the service demands can increase/decrease in a restrained time …

Distributed systems have complex designs which are difficult to understand and verify. A
rigorous specification of such systems using mathematical techniques such as formal …

Load distribution is a process that involves the allocation of tasks to various nodes in the
distributed system in such a manner that overall resource utilization is maximized, and …

One of the key characteristics of the Cloud environment is hight dynamicity; constantly new
services are added and others are deleted due to unavailability, faulty behaviour or …

Load distribution is a process that involves the allocation of tasks to various nodes in the
distributed system in such a manner that overall resource utilization is maximized, and …

One of the most important issues in the Cloud environment is to adapt to increasing or
decreasing customer demands. The demand on Cloud services varies depending on user …

To verify the composed web services, a general view of what traits of a service need to be
identified is still lacking. The existing verification model did not address any mechanism for …

摘要提出一种可信性验证算法用于验证云**台运行环境的可行性与安全性. 云**台IaaS
层利用基于漏洞特征信息流跟踪与关键过程重构的固件安全性验证方法, 挖掘固件漏洞 …