Shchurov, A. A. .; Marik, R. . A Trusted Model of Complex Computer Networks. JICTS 2016, 3, 201-230.