Knowledge-Based Policy Conflict Analysis in Mobile Social Networks

被引:2
作者
Wu, Zhengping [1 ]
Liu, Yuanyao [1 ]
机构
[1] Univ Bridgeport, Dept Comp Sci & Engn, Bridgeport, CT 06604 USA
关键词
Policy conflict analysis; Knowledge-based analysis; Temporal logic; Knowledge extension; Dynamic conflict; TEMPORAL LOGIC;
D O I
10.1007/s11277-012-0964-0
中图分类号
TN [电子技术、通信技术];
学科分类号
0809 ;
摘要
Mobile social networks give online social networking sites the capabilities to extend their services to mobile device users. Smart phones and tablets allow users to interact with each other when they are moving. Policy-based management simplifies the management of interaction functionalities by establishing policies to control various activities involved in these functionalities. To detect and resolve potential dynamic conflicts between the rules and configurations from different administrative domains, a knowledge-based policy analysis framework is proposed in this paper. It incorporates relationships between different elements in policy rules into temporal logic using a knowledge extension, which makes dynamic policy conflict analysis more accurate. A prototype system for mobile social networks is implemented to illustrate the capability of this framework.
引用
收藏
页码:5 / 22
页数:18
相关论文
共 29 条
  • [1] Systematic policy analysis for high-assurance services in SELinux
    Ahn, Gail-Joon
    Xu, Wenjuan
    Zhang, Xinwen
    [J]. 2008 IEEE WORKSHOP ON POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, 2008, : 3 - +
  • [2] [Anonymous], 2007, P 16 INT C WORLD WID
  • [3] Planning for temporally extended goals
    Bacchus, F
    Kabanza, F
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1998, 22 (1-2) : 5 - 27
  • [4] Specification and Analysis of Dynamic Authorisation Policies
    Becker, Moritz Y.
    [J]. PROCEEDINGS OF THE 22ND IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, 2009, : 203 - 217
  • [5] Temporal logics for real-time system specification
    Bellini, P
    Mattolini, R
    Nesi, P
    [J]. ACM COMPUTING SURVEYS, 2000, 32 (01) : 12 - 42
  • [6] A decision procedure and complete axiomatization of finite interval temporal logic with projection
    Bowman, H
    Thompson, S
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (02) : 195 - 239
  • [7] Calvanese D., 2002, Principles of Knowledge Representation and Reasoning, P593
  • [8] Policy conflict analysis for DiffServ quality of service management
    Charalambides, Marinos
    Flegkas, Paris
    Pavlou, George
    Rubio-Loyola, Javier
    Bandara, Arosha
    Lupu, Emil
    Russo, Alessandra
    Dulay, Naranker
    Sloman, Morris
    [J]. IEEE Transactions on Network and Service Management, 2009, 6 (01): : 15 - 30
  • [9] Craven R., 2009, Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, P239
  • [10] Dynamic conflict detection in policy-based management systems
    Dunlop, N
    Indulska, J
    Raymond, K
    [J]. SIXTH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2002, : 15 - 26