Modeling Chinese wall access control using formal concept analysis | IEEE Conference Publication | IEEE Xplore