Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies.

Yves Le Traon, Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry

Browse the full ICST paper archive.