MIPv6 experimental evaluation using overlay networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
A rule-based distributed system for self-optimization of constrained Devices
IM'09 Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management
Formal analysis of policy-based self-adaptive systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Policies for self tuning home networks
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
Policy-based pricing for heterogeneous wireless access networks
AIMS'11 Proceedings of the 5th international conference on Autonomous infrastructure, management, and security: managing the dynamics of networks and services
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
A generic policy-conflict handling model
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Information seesaw: availability vs. security management in the UbiComp world
SDM'05 Proceedings of the Second VDLB international conference on Secure Data Management
Collaborations, mergers, acquisitions, and security policy conflict analysis
Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
| Hi-index | 0.00 |
This paper presents a formal framework for a policyrepresentation model based on Finite State Transducers(FSTs). The main motivation for this approach is to producethe formalities to represent the body of policies in anunambiguous way.Using well-known entities such as finite state machines,we propose interpretations and adaptations to the basic theoryto fit in the domain of policy based management. Policiesare modeled as finite state transducers that consumeevents, and a function we call a tautness function is definedto be on the transitions.The operations of finite state transducers are revised accordingly.In particular, we present determinization and intersectionoperations for FSTs that will mimic the modalityconflict resolution process between policies. We alsodemonstrate how the composition of transducers could beused to express constraints or meta-policies. In our approach,all the tasks associated with the conflict resolutionprocess can be done "a priori," and the computing of apolicy-evaluation is linear in the number of events, and independentof the number of policies.