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

by A Bandara, E Lupu, A Russo
Venue:In IEEE 4th International Workshop on Policies for Distributed Systems and Networks, 2003. Proceedings. POLICY 2003. (June 2003), IEEE