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...

• Type: Conference
• Year: 2003
• Where: AWIC
• Authors: L. Mengual, C. de la Puente
• Keywords: AWIC 2003, Basic User Requirements, Optimal Security Protocol, Security Protocol