Constraint generation for separation of duty.

Hong Chen, Ninghui Li

Browse the full SACMAT paper archive.