Automatic Enforcement of Security Properties.

Jos Miguel Horcas, Mnica Pinto, Lidia Fuentes

Browse the full TrustBus paper archive.