Secure Intelligent Agents Based on Formal Description Techniques | Publicación