Publisher
Springer International Publishing
Reference27 articles.
1. Borselius, N.: Mobile agent security. Electron. Commun. Eng. J. 14(5), 211–218 (2002).
https://doi.org/10.1049/ecej:20020504
2. Borselius, N. Security in multi-agent systems. In: Proceedings of the 2002 International Conference on Security and Management (SAM’02), pp. 31–36 (2002)
3. Chong, S., et al.: Report on the NSF Workshop on Formal Methods for Security. arXiv preprint
arXiv:1608.00678
(2016)
4. Wooldridge, M., Jennings, N.R. (eds.) Intelligent agents: Theories, Architectures and Languages, Lecture Notes in Artificial Intelligence, vol. 890 (1995), ISBN 3-540-58855-8.
https://doi.org/10.1007/bfb0013568
5. Wing, J.M.: A symbiotic relationship between formal methods and security. In: Proceedings of Computer Security, Dependability and Assurance: From Needs to Solutions, pp. 26–38 (1998).
https://doi.org/10.1109/csda.1998.798355
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献