Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
First-order conditional logic for default reasoning revisited
ACM Transactions on Computational Logic (TOCL)
Planning for temporally extended goals
Annals of Mathematics and Artificial Intelligence
Dynamic Conflict Detection in Policy-Based Management Systems
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
An overview of Knowledge Representation
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Methods and limitations of security policy reconciliation
ACM Transactions on Information and System Security (TISSEC)
Language based policy analysis in a SPKI Trust Management System
Journal of Computer Security
Analyzing web access control policies
Proceedings of the 16th international conference on World Wide Web
Deriving Enforcement Mechanisms from Policies
POLICY '07 Proceedings of the Eighth IEEE International Workshop on Policies for Distributed Systems and Networks
Information and Computation
Systematic Policy Analysis for High-Assurance Services in SELinux
POLICY '08 Proceedings of the 2008 IEEE Workshop on Policies for Distributed Systems and Networks
QoS Policy Modeling and Conflict Analysis
POLICY '08 Proceedings of the 2008 IEEE Workshop on Policies for Distributed Systems and Networks
Expressive policy analysis with enhanced system dynamicity
Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
Specification and Analysis of Dynamic Authorisation Policies
CSF '09 Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium
A Social Network Based File Sharing System in Mobile Peer-to-Peer Networks
ICCCN '09 Proceedings of the 2009 Proceedings of 18th International Conference on Computer Communications and Networks
Requirements on Next Generation Social Networking--A User's Perspective
Wireless Personal Communications: An International Journal
Fuzzy Temporal Logic on Fuzzy Temporal Constraint Networks
FSKD '09 Proceedings of the 2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 06
Quantitative μ-calculus and CTL Based on Constraint Semirings
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient Algorithms for Dynamic Detection and Resolution of IPSec/VPN Security Policy Conflicts
AINA '10 Proceedings of the 2010 24th IEEE International Conference on Advanced Information Networking and Applications
Policy conflict analysis for diffserv quality of service management
IEEE Transactions on Network and Service Management
| Hi-index | 0.00 |
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.