Using event calculus to formalise policy specification and analysis

Title:	Using event calculus to formalise policy specification and analysis
Authors:	Bandara, AK Lupu, EC Russo, A
Item Type:	Conference Paper
Content Version:	Published version
Issue Date:	1-Jan-2003
URI:	http://hdl.handle.net/10044/1/5925
Publisher Link:	http://doi.ieeecomputersociety.org/10.1109/POLICY.2003.1206955
ISBN:	0-7695-1933-4
Publisher:	IEEE COMPUTER SOC
Presented At:	4th IEEE International Workshop on Policies for Distributed Systems and Networks
Published Proceedings:	IEEE 4TH INTERNATIONAL WORKSHOP ON POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS
Start Page:	26
End Page:	39
Copyright Statement:	© 2003 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Conference Location:	LAKE COMO, ITALY
Appears in Collections:	Distributed Software Engineering