Automata-based approach to design and analyze security policies.

Wadie Krombi, Mohammed Erradi, Ahmed Khoumsi

Browse the full PST paper archive.