Gilles Goncalves, Fred Hemery, Aneta Poniszewska. Verification of Access Control Coherence in Information System during Modifications. In 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), Infrastructure for Collaborative Enterprises, 9-11 June 2003, Linz, Austria. pages 232-237, IEEE Computer Society, 2003. [doi]
Abstract is missing.