A Functional Verification Study of Quantum Key Distribute Networks and Services with a Trusted Node applied in KOREN | IEEE Conference Publication | IEEE Xplore