Efficient Evaluation of Location Predicates for Access Control Systems | IEEE Conference Publication | IEEE Xplore