Conflict Detection Method Research Articles

Managing OAM&P requirement conflicts

Specifying consistent services at early project stages is a telecommunication service engineering challenge. Service logic inconsistencies, also known as feature interactions (FIs), can affect various types of services ranging from signaling protocol features to value-added end user services. This problem has been investigated for all those types of services. However, inconsistencies of Operation, Administration, Management and Provisioning (OAM&P) services have not been sufficiently addressed. The present paper studies the detection of OAM&P service inconsistencies at the software requirement specification stage. The aim is at the resolution of the problem before reaching the implementation step. The basic idea of the here reported approach is to consider service inconsistencies as software requirement conflicts. The contribution of the present paper consists of an OAM&P requirement modeling language and a requirement conflict detection method. A validation with a case study is reported.

Evaluation of conflict detection and resolution modeling methods based on fuzzy logic

Evaluation of conflict detection and resolution modeling methods based on fuzzy logic

Service Outsourcing Character Oriented Privacy Conflict Detection Method in Cloud Computing

Cloud computing has provided services for users as a software paradigm. However, it is difficult to ensure privacy information security because of its opening, virtualization, and service outsourcing features. Therefore how to protect user privacy information has become a research focus. In this paper, firstly, we model service privacy policy and user privacy preference with description logic. Secondly, we use the pellet reasonor to verify the consistency and satisfiability, so as to detect the privacy conflict between services and user. Thirdly, we present the algorithm of detecting privacy conflict in the process of cloud service composition and prove the correctness and feasibility of this method by case study and experiment analysis. Our method can reduce the risk of user sensitive privacy information being illegally used and propagated by outsourcing services. In the meantime, the method avoids the exception in the process of service composition by the privacy conflict, and improves the trust degree of cloud service providers.

Research of Role-Mapping Associate Conflict Detection Methods

nteroperable role-based access control model (IRBAC 2000) has solved inter-domains authentication access through role-mapping, but it may appear related conflicts in the process of role-mapping and then posing a security risk. This study introduces the conflict detection mechanism on the inter-domain of Role-Mapping process, and it is effectively and quickly detected the associated conflicts, and gives the detection algorithm and experimental verification, to improve the inter-domain security interoperable.

A categorization for conflicts in model versioning

To coordinate different versions of a software model, edited by modelers in parallel, various model versions need to be merged to one consolidated version. Therefore, adequate tool support in terms of version control systems (VCSs) is considered essential. Diverse approaches evolved for merging model versions including different conflict detection methods. Indeed, only a limited consensus about possible categories for conflicts exists. A common terminology and a categorization of possible types of conflict are missing. In this article we propose a categorization for conflicts in model versioning along with an assessment of levels of severity: a base for future discussions and comparison of approaches to conflict detection on models.

Conflict Detection and Resolution Method for Cooperating Unmanned Aerial Vehicles

This paper presents a Conflict Detection and Resolution (CDR) method for cooperating Unmanned Aerial Vehicles (UAVs) sharing airspace. The proposed method detects conflicts using an algorithm based on axis-aligned minimum bounding box and solves the detected conflicts cooperatively using a genetic algorithm that modifies the trajectories of the UAVs with an overall minimum cost. The method changes the initial flight plan of each UAV by adding intermediate waypoints that define the solution flight plan while maintaining their velocities. The method has been validated with many simulations and experimental results with multiple aerial vehicles platforms based on quadrotors in a common airspace. The experiments have been carried out in the multi-UAV aerial testbed of the Center for Advanced Aerospace Technologies (CATEC).

Automated Conflict Resolution Utilizing Probability Collectives Optimizer

Rising manned air traffic and deployment of unmanned aerial vehicles in complex operations requires integration of innovative and autonomous conflict detection and resolution methods. In this paper, the task of conflict detection and resolution is defined as an optimization problem searching for a heading control for cooperating airplanes using communication. For the optimization task, an objective function integrates both collision penalties and efficiency criteria considering airplanes' objectives (waypoints). The probability collectives optimizer is used as a solver for the specified optimization task. This paper provides two different implementation approaches to the presented optimization-based collision avoidance: 1) a parallel computation using multiagent deployment among participating airplanes and 2) semicentralized computation using the process-integrated-mechanism architecture. Both implementations of the proposed algorithm were implemented and evaluated in a multiagent airspace test bed AGENTFLY. The quality of the solution is compared with a negotiation-based cooperative collision avoidance method - an iterative peer-to-peer algorithm.

A privacy policy conflict detection method for multi-owner privacy data protection

The current privacy-preserving researches focus on single-owner privacy data. However, multi-owner privacy data, which is also a widespread privacy data, need to be properly protected. At first, the characteristics of multi-owner privacy data and its protection requirement is introduced in this paper. Secondly, a data schema based on deputy mechanism for multi-owner privacy data is proposed. Thirdly, based on the schema, this paper proposes a privacy policy conflict detection method based on sub-graph isomorphic. This method models the privacy policy and each possible policy conflict pattern as a stratified-directed graph (SDG), and provides an algorithm to detect whether the SDG of a privacy conflict mode is isomorphic to that of privacy policies.

An authorization model for collaborative access control

Collaborative access control is receiving growing attention in both military and commercial areas due to an urgent need to protect confidential resources and sensitive tasks. Collaborative access control means that multiple subjects should participate to make access control decisions to prevent fraud or the abuse of rights. Existing approaches to access control cannot satisfy the requirements of collaborative access control. To address this concern, we propose an authorization model for collaborative access control. The central notions of the model are collaborative permission, collaboration constraint, and collaborative authorization policy, which make it possible to define the collaboration among multiple subjects involved in gaining a permission. The implementation architecture of the model is also provided. Furthermore, we present effective conflict detection and resolution methods for maintaining the consistency of collaborative authorization policies.

Semantics for Accurate Conflict Detection in SMoVer

In collaborative software development, the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifacts emerged. Pessimistic approaches follow the lock-edit-unlock paradigm whereas optimistic approaches allow parallel editing of one resource, which are therefore the preferred ones. To be flexible for the ever increasing variety of modeling environments and languages such tools should be independent of the modeling environment and applicable to various modeling languages. Those VCS characteristics may implicate a lack of information for the conflict detection method by virtue of firstly receiving solely the state of an artifact without concrete editing operations and secondly due to unavailable knowledge about the semantics of a modeling language. However, in optimistic VCSs concurrent changes can result in conflicts and inconsistencies. In environment and language independent VCSs inconsistencies would even arise more often due to information losses. Hence, accurate conflict detection methods are indispensable for the realization of such VCSs. To tackle this task, the “Semantically enhanced Model Version Control System” SMoVer is presented. With SMoVer it is possible to specify the semantics of a modeling language, needed for conflict detection in order to provide more accurate conflict reports than other current environment and language independent VCSs. In this work, it is exemplified how semantics of a specific modeling language can be specified in SMoVer, how those specifications can improve the accuracy of conflict reports and finally how those can be presented to modelers.

Conflict detection and resolution for authorization policies in workflow systems

The specification of authorization policies in access control models proposed so far cannot satisfy the requirements in workflow management systems (WFMSs). Furthermore, existing approaches have not provided effective conflict detection and resolution methods to maintain the consistency of authorization polices in WFMSs. To address these concerns, we propose the definition of authorization policies in which context constraints are considered and the complicated requirements in WFMSs can be satisfied. Based on the definition, we put forward static and dynamic conflict detection methods for authorization policies. By defining two new concepts, the precedence establishment rule and the conflict resolution policy, we provide a flexible approach to resolving conflicts.

Method of conflict detection and elimination for security policy

Security policy is the base of system security management.It is difficult to eliminate policy conflict in the distribution system because of its complexity.Therefore,conflict detection and elimination of policy is the key to realize policy-based system defense.This paper proposed a general formal description of policy,defined the logic relationship among the policy's elements,and classified the conflicts of policy,then discussed some conflict detection and elimination methods corresponding to the conflicts.

Automated Analysis of Road Safety with Video Data

Traffic safety analysis has often been undertaken with historical collision data. However, well-recognized availability and quality problems are associated with collision data. In addition, the use of collision records for safety analysis is reactive: a significant number of collisions has to be recorded before action is taken. Therefore, the observation of traffic conflicts has been advocated as a complementary approach in the analysis of traffic safety. However, incomplete conceptualization and the cost of training observers and collecting conflict data have been factors inhibiting extensive application of the traffic conflict technique. The goal of this research is to develop a method for automated analysis of road safety with video sensors to address the problem of dependency on the deteriorating collision data. The method automates the extraction of traffic conflicts from video sensor data. This method should address the main shortcomings of the traffic conflict technique. A comprehensive system is described for traffic conflict detection in video data. The system is composed of a feature-based vehicle tracking algorithm adapted for intersections and a traffic conflict detection method based on the clustering of vehicle trajectories. The clustering uses a K-means approach with hidden Markov models and a simple heuristic to find the number of clusters automatically. Traffic conflicts can then be detected by identifying and adapting pairs of models of conflicting trajectories. The technique is demonstrated on real-world video sequences of traffic conflicts.

Tactical Conflict Detection Methods for Reducing Operational Errors

Operational error rates in the U.S. have increased significantly over the past few years. This paper presents a new decision support tool called TSAFE (Tactical Separation Assisted Flight Environment) that could eventually replace Conflict Alert, the legacy software that is intended to detect and warn controllers of imminent conflicts. To account for uncertainties in pilot intent, TSAFE generates two predicted trajectories for each aircraft and checks all four combinations of trajectories for each pair of aircraft. One of the trajectories is synthesized based on the flight plan, tracking data, and atmospheric data. The other is a “dead-reckoning” trajectory, a short-range projection based on the current velocity. Methods were also developed to predict critical leveloff maneuvers and to detect and model unplanned turns. Official reports and tracking data were obtained for 58 actual operational error cases, and an automated system was set up to test TSAFE by replaying the tracking data for each case. The results indicate that TSAFE can provide timely warnings of imminent conflicts more consistently than Conflict Alert.

A review of conflict detection and resolution modeling methods

A number of methods have been proposed to automate air traffic conflict detection and resolution (CDR), but there has been little cohesive discussion or comparative evaluation of approaches. The paper presents a survey of 68 CDR modeling methods, several of which are currently in use or under operational evaluation. A framework that articulates the basic functions of CDR is used to categorize the models. The taxonomy includes: dimensions of state information (vertical, horizontal, or three-dimensional, 3-D); method of dynamic state propagation (nominal, worst case, or probabilistic); conflict detection threshold; conflict resolution method (prescribed, optimized, force field, or manual); maneuvering dimensions (speed change, lateral, vertical, or combined manoeuvres); and management of multiple aircraft conflicts (pairwise or global). An overview of important considerations for these and other CDR functions is provided, and the current system design process is critiqued.