Using event calculus to formalise policy specification and analysis (2003)

by A K Bandara, E C Lupu, A Russo
Venue:In POLICY ’03: Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks