A logical framework for security enforcement in CapBasED-AMS

The CapBasED-AMS (Capability-based and Event-driven Activity Management System) deals with the management and execution of activities. A Problem Solving Agent (PSA) is a human, or a hardware system, or a software system having an ability to execute activities. An activity consists of multiple inter-dependent tasks that need to be coordinated, scheduled and executed by a set of PSAs. Since security is essential and integral part of activities, the activity management system has to manage and execute the activities in a secure way. In the CapBasED-AMS, threats, such as, unauthorized access or modification are identified as events. In this paper, we develop a logical framework for security enforcement in CapBasED-AMS by taking into consideration the system infrastructure, secure match-making under security constraints, security policies and secure PSA, the task coordination model for security enforcement during activity execution