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

by A K Bandara, E C Lupu, A Russo
Venue:In IEEE International Workshop on Policies for Distributed Systems and Networks