Nowadays people have many different personal devices, like laptops and tablets, that they use to access and process data. Very often it is desirable to access and process the same data on different devices without having to copy it from one device to another. Commercial cloud services provide good services for achieving this, but recent events, such as the Snowdon disclosures, have illustrated some ...