Sciweavers

Share
AWIC
2003
Springer

Secure Intelligent Agents Based on Formal Description Techniques

11 years 10 months ago
Secure Intelligent Agents Based on Formal Description Techniques
This paper describes a practical solution for the incorporation of security services in agents. From a set of basic user requirements, the agents will be able to find out the best way to implement a security policy to accomplish the communication. A tipical scenario could be the following: one user wants to provide his communications with security, but he only knows a set of basic user requirements, and he has not any knowledge about cryptography, security protocols, security keys, etc. Configuring the agent correctly, this would be able to find out the optimal security protocol which best fit with those requirements. Once the best protocol is found, our agents will interpret it dynamically, for which formal description techniques will be used. The main aim of this work consists of finding out this security protocol. To do it, a global optimization method will be used, in particular, genetic algorithms. These algorithms are capable of finding out the optimal value in a function, within...
L. Mengual, C. de la Puente
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where AWIC
Authors L. Mengual, C. de la Puente
Comments (0)
books