A linear concurrent constraint approach for the automatic verification of access permissions.

Carlos Olarte, Elaine Pimentel, Camilo Rueda, Nstor Catao

Browse the full PPDP paper archive.