@misc{indiciae1a6c73006905,
  title = {Types for Location and Data Security in Cloud Environments},
  author = {Ivan Gazeau and Tom Chothia and Dominic Duggan},
  year = {2017},
  url = {https://arxiv.org/abs/1706.01742},
  note = {Source identifier: 1706.01742}
}