Enabling role-based web access control using a declarative logical framework | IEEE Conference Publication | IEEE Xplore