Security testing defines tests for security requirements of software. Security requirements are non-functional, and thus require a different way of testing compared to functional requirements. Model-based testing applies model-based design for modeling test artifacts or the automation of test activities. Although model-based testing techniques improve security testing, these two testing activities have rarely been combined ...

The traditional service model of cloud storage is that the service providers supply both the storage capacities and data storage services through the Internet to the clients. The obvious disadvantage of this model is that the data of the same customer stored in multiple cloud storage providers cannot interact with each other. This paper adds ...