US7853987B2 - Policy Language and State Machine Model for Dynamic Authorization in Physical Access Control