A Theoretical Security Model for Access Control and Security Assurance | IEEE Conference Publication | IEEE Xplore