Search

Trust is particularly important for cloud service. In this paper, we introduce a lightweight framework for trust software development in cloud computing by comparing the differences of web service and cloud service. Formal method is used to ensure the correctness of the whole process. Furthermore, the theory implementation is simply discussed, including the related research results which support our framework.