A Design by Contract Approach to Verify Access Control Policies.

Hakim Ferrier-Belhaouari, Pierre Konopacki, Rgine Laleau, Marc Frappier

Browse the full ICECCS paper archive.