The Fourth International Workshop on Trusted Collaboration

Research Article

Automatic policy conflict analysis for cross-domain collaborations using semantic temporal logic

Download76 downloads
  • @INPROCEEDINGS{10.4108/ICST.COLLABORATECOM2009.8392,
        author={Zhengping Wu and Yuanyao Liu},
        title={Automatic policy conflict analysis for cross-domain collaborations using semantic temporal logic},
        proceedings={The Fourth International Workshop on Trusted Collaboration},
        publisher={IEEE},
        proceedings_a={TRUSTCOL},
        year={2009},
        month={12},
        keywords={Policy analysis Policy-based management Security Trust Web services},
        doi={10.4108/ICST.COLLABORATECOM2009.8392}
    }
    
  • Zhengping Wu
    Yuanyao Liu
    Year: 2009
    Automatic policy conflict analysis for cross-domain collaborations using semantic temporal logic
    TRUSTCOL
    ICST
    DOI: 10.4108/ICST.COLLABORATECOM2009.8392
Zhengping Wu1,*, Yuanyao Liu1,*
  • 1: Department of Computer Science and Engineering, University of Bridgeport, 221 University Avenue, Bridgeport, CT 06604, USA
*Contact email: zhengpiw@bridgeport.edu, yuaoyaol@bridgeport.edu

Abstract

Policy-based methods simplify the management of cross-domain collaborations by establishing policies to control various cross-domain activities involved in those collaborations. Administrators and users from participant domains can use policies to define control rules and restrictions, and to configure execution environments for these collaborations. To detect and resolve potential dynamic conflicts between different administrative domains, Semantic Temporal Logic (STL) is proposed and implemented in this paper to automatically analyze policy conflicts. STL incorporates relationships between different policy elements into temporal logic using a semantic format (ontology). A prototype system in the Web services environment is implemented to illustrate the capability of STL and the dynamic policy analysis framework utilizing STL.