| De implementatie van quantuminformatietechnologie voor communicatie en de beveiliging van gegevens boekt snel vooruitgang. Deze technologie is gebaseerd op onderliggende interactieve klassieke en quantumprocedures. De onderzoekers gebruiken technieken uit de logica voor de analyse van deze procedures en gaan na of ze correct en veilig zijn. |
