Skip to Main Content
Management of trust for federation activities requires intensive monitoring and reconfiguration services to accommodate dynamic trust behaviors across trust domains. To detect and control potential conflicts between these behaviors, trust services in federation systems need to be able to perform dynamic conflict analysis. Policy analysis provides a way to detect potential conflicts in system behaviors. We introduce event calculus (EC) into policy analysis to provide dynamic policy conflict analysis for detection and control of dynamic conflicts in trust services for federations. An application of this dynamic analysis to a Web-service-based healthcare system is also described.