A model for checking consistency in access control policies for network management.

Vincent Cridlig, Radu State, Olivier Festor

Browse the full IM paper archive.