Verification of Access Control Coherence in Information System during Modifications.

Gilles Goncalves, Fred Hemery, Aneta Poniszewska

Browse the full WETICE paper archive.