Static verification of security requirements in role based CSCW systems.

Tanvir Ahmed, Anand R. Tripathi

Browse the full SACMAT paper archive.