RDyMASS: reliable and dynamic enforcement of security policies for mobile agent systems

Authors:
Houssem Aloulou;Monia Loulou;Slim Kallel;Ahmed Hadj Kacem
Affiliations:
Laboratory ReDCAD, B.P., Sfax, Tunisia;Laboratory ReDCAD, B.P., Sfax, Tunisia;Laboratory ReDCAD, B.P., Sfax, Tunisia;Laboratory ReDCAD, B.P., Sfax, Tunisia
Venue:
DPM'09/SETOP'09 Proceedings of the 4th international workshop, and Second international conference on Data Privacy Management and Autonomous Spontaneous Security
Year:
2009

Citing 11
Cited 0

Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
SASI enforcement of security policies: a retrospective

Proceedings of the 1999 workshop on New security paradigms
Supporting reconfigurable security policies for mobile programs

Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
Enforceable security policies

ACM Transactions on Information and System Security (TISSEC)
The Ponder Policy Specification Language

POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
Enforcing History-Based Security Policies in Mobile Agent Systems

POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Using Aspects to Design a Secure System

ICECCS '02 Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems
From Formal Access Control Policies to Runtime Enforcement Aspects

ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
Application Security Models for Mobile Agent Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
A flexible policy architecture for mobile agents

SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
A framework for policy driven auto-adaptive systems using dynamic framed aspects

Transactions on Aspect-Oriented Software Development II

Quantified Score

Hi-index	0.00

Visualization

Abstract

Defining security policies is a crucial stage for an efficient implementation of security within mobile agent systems.To enforce these policies in a reliable way, it is necessary to make use of formal techniques which offer enough flexibility and expressiveness, and which provide a rigorous reasoning about the security of mobile agent systems security. The migration of the agent between several systems can lead to inconsistencies between its policy and the policy of the system. These incoherencies may require a dynamic reconfiguration of the security policies of the system and the agent. This reconfiguration cannot be efficient without the use of mechanisms that improve the modularity of the security code. In this paper, we aim to dynamically enforce security policies in mobile agent systems in modular and reliable way. For this purpose, we combine formal methods and aspect oriented programming. We propose a three-step approach to enforce security policies in the form of aspects that will be generated through a reliable specification of security policies.