Safe Cloud Computing is no Pie in the Sky

The integration of digital expert knowledge and automation of risk analyses can greatly improve software test procedures and make cloud computing more secure. This is shown by the latest results of a project of the University of Innsbruck, funded by the Austrian Science Fund FWF, on the quality assurance of security critical systems which have recently been published. Safer data clouds: Computer scientists from Innsbruck recently published results which aim to achieve higher data security in cloud computing. Software developers frequently experience nasty surprises: Even after long and successful use of cloud programs, unexpected weaknesses can suddenly emerge. In fact, cloud programs are particularly susceptible to this. Not because they are badly written, but because they have many interfaces which are continually adapted. These require functionalities that go well beyond the actual running of the program and are dependent on third-party systems.