Secure Intelligent Agents Based on Formal Description Techniques

L. Mengual, C. de la Puente. Secure Intelligent Agents Based on Formal Description Techniques. In Ernestina Menasalvas Ruiz, Javier Segovia, Piotr S. Szczepaniak, editors, Web Intelligence, First International Atlantic Web Intelligence Conference, AWIC 2003, Madrid, Spain, May 5-6, 2003, Proceedings. Volume 2663 of Lecture Notes in Computer Science, pages 134-141, Springer, 2003. [doi]

@inproceedings{MengualP03,
  title = {Secure Intelligent Agents Based on Formal Description Techniques},
  author = {L. Mengual and C. de la Puente},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2663/26630134.htm},
  tags = {rule-based, C++},
  researchr = {https://researchr.org/publication/MengualP03},
  cites = {0},
  citedby = {0},
  pages = {134-141},
  booktitle = {Web Intelligence, First International Atlantic Web Intelligence Conference, AWIC 2003, Madrid, Spain, May 5-6, 2003, Proceedings},
  editor = {Ernestina Menasalvas Ruiz and Javier Segovia and Piotr S. Szczepaniak},
  volume = {2663},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40124-5},
}