A. A. . Shchurov and R. . Marik, “A Trusted Model of Complex Computer Networks”, JICTS, vol. 3, no. 3, pp. 201–230, Jun. 2016.