A Functional Verification Study of Quantum Key Distribute Networks and Services with a Trusted Node applied in KOREN.