Information Security Modeling for the Operation of a Novel Highly Trusted Network in a Virtualization Environment. - Jung-Sook Chang; Yong-Hee Jeon; Sohyun Sim; An-Na Kang (Int. J. Distributed Sens. Networks, 2015)