Description:
Mobile social networks give online social networking sites the abilities to extend their services to mobile device users. Smart phones and tablets allow users to interact with others 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 this paper. It incorporates relationships between different elements in policy rules into temporal logic using a semantic 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.