1. L.C. Paulson, Inductive Analysis of the Internet Protocol TLS
2. W. Goralski, Securing sockets with SSL. in The Illustrated Network, Morgan Kaufmann, pp. 585–606 (2009)
3. N. Constantinescu, C.I. Popirlan, Authentication Model Based on Multi-agent System, vol. 38, no. 2, pp. 59–68 (2011)
4. G. Stoneburner, Underlying Technical Models for Information Technology Security (Gaithersburg, MD, 2001)
5. T. Bayer, C. Reich, Security of Mobile Agents in Distributed Java Agent Development Framework (JADE) Platforms Security of Mobile Agents in Distributed Java Agent Development Framework (JADE) Platforms, no. April, 2017