A Multi-level Dynamic Access Control Model and Its Formalization | IEEE Conference Publication | IEEE Xplore