A Design by Contract Approach to Verify Access Control Policies.

Hakim Ferrier-Belhaouari Pierre Konopacki Régine Laleau Marc Frappier

Published in: ICECCS (2012)

Keyphrases

fine grained
access control
access control policies
embedded systems
database