NIÑOS take five: the management infrastructure for distributed event-driven workflows
Proceedings of the 5th ACM international conference on Distributed event-based system
Hi-index | 0.01 |
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.