TY  - RPRT
TI  - Types for Location and Data Security in Cloud Environments
AU  - Ivan Gazeau
AU  - Tom Chothia
AU  - Dominic Duggan
PY  - 2017
UR  - https://arxiv.org/abs/1706.01742
ID  - 1706.01742
ER  -