The modeling library of eavesdropping methods in quantum cryptography protocols by model checking
type: Item
instance of: scholarly article
title: The modeling library of eavesdropping methods in quantum cryptography protocols by model checking
zbMATH Open document ID: 1358.81097
author: Yujie Hao
author: Fan Yang
author: Guowu Yang
published in: International Journal of Theoretical Physics
publication date: 2017-03-28T00:00:00Z
Mathematics Subject Classification ID: 81P94
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 6697546
zbMATH Keywords: quantum cryptography
zbMATH Keywords: eavesdropping
zbMATH Keywords: model checking
zbMATH Keywords: prism
describes a project that uses: PRISM
describes a project that uses: LTL2BA
describes a project that uses: CESAR
MaRDI profile type: Publication
full work available at URL: s10773-016-2969-z
OpenAlex ID: W2293156805
cites work: Quantum cryptography: public key distribution and coin tossing
cites work: Experimental quantum cryptography.
cites work: Quantum secret sharing
cites work: The temporal logic of branching time
cites work: Multiparty secret sharing of quantum information based on entanglement swapping
cites work: Bidirectional quantum secret sharing and secret splitting with polarized single photons
cites work: New quantum private comparison protocol using EPR pairs
cites work: Efficient quantum private comparison employing single photons and collective detection
cites work: A protocol for the quantum private comparison of equality with \(\chi \)-type state
cites work: Quantum private comparison protocol based on Bell entangled states
cites work: Quantum private comparison protocol with \(d\)-dimensional Bell states
cites work: A quantum protocol for millionaire problem with Bell states
cites work: Multi-user private comparison protocol using GHZ class states
cites work: Multi-party quantum private comparison protocol using \(d\)-dimensional basis states without entanglement swapping
cites work: Q5322945
cites work: Q3906386
cites work: Q3336675
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Q3940830
cites work: Q4551134
cites work: Q4427896
cites work: Q3560846
cites work: Trojan-horse attacks on quantum key distribution with classical bob
cites work: Eavesdropping on the two-way quantum communication protocols with invisible photons
cites work: Multi-party quantum private comparison protocol based on \(d\)-dimensional entangled states
DOI: 10.1007/S10773-016-2969-Z
description: scientific article; zbMATH DE number 6697546