Semi-automated verification of security proofs of quantum cryptographic protocols
type: Item
instance of: scholarly article
title: Semi-automated verification of security proofs of quantum cryptographic protocols
zbMATH Open document ID: 1336.68164
author: Takahiro Kubota
author: Yoshihiko Kakutani
author: Go Kato
author: Y. Kawano
author: Hideki Sakurada
published in: Journal of Symbolic Computation
publication date: 2015-08-24T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 81P94
zbMATH DE Number: 6475170
zbMATH Keywords: semi-automated verification
zbMATH Keywords: quantum key distribution
zbMATH Keywords: quantum protocols
zbMATH Keywords: process calculi
zbMATH Keywords: formal methods
describes a project that uses: PRISM
describes a project that uses: QPL
MaRDI profile type: Publication
full work available at URL: j.jsc.2015.05.001
OpenAlex ID: W1430738455
Wikidata QID: Q113869841
cites work: A process algebra for reasoning about quantum security
cites work: Equivalence Checking of Quantum Protocols
cites work: Quantum cryptography using any two nonorthogonal states
cites work: Q4986182
cites work: Open Bisimulation for Quantum Processes
cites work: New directions in cryptography
cites work: Probabilistic bisimulations for quantum processes
cites work: Bisimulation for quantum processes
cites work: Automata, Languages and Programming
cites work: Relations among quantum processes: bisimilarity and congruence
cites work: Q3523616
cites work: Unconditional security in quantum cryptography
cites work: Q4248252
cites work: Quantum Computation and Quantum Information
cites work: Towards a quantum programming language
cites work: Q4783729
cites work: An algebra of quantum processes
DOI: 10.1016/J.JSC.2015.05.001
description: scientific article; zbMATH DE number 6475170