Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model | IEEE Journals & Magazine | IEEE Xplore