Verification of access control coherence in information system during modifications | IEEE Conference Publication | IEEE Xplore