@inproceedings{7967a683165349e78e4ac7516791691a,
title = "Quantum information-flow security: Noninterference and access control",
abstract = "Quantum cryptography has been extensively studied in the last twenty years, but information-flow security of quantum computing and communication systems has been almost untouched in the previous research. Due to the essential difference between classical and quantum systems, formal methods developed for classical systems, including probabilistic systems, cannot be directly applied to quantum systems. This paper defines an automata model in which we can rigorously reason about information-flow security of quantum systems. The model is a quantum generalisation of Goguen and Meseguer's noninterference. The unwinding proof technique for quantum noninterference is developed, and a certain compositionality of security for quantum systems is established. The proposed formalism is then used to prove security of access control in quantum systems.",
keywords = "quantum computing; quantum communication; security; information-flow; noninterference; access control",
author = "Mingsheng Ying and Yuan Feng and Nengkun Yu",
year = "2013",
doi = "10.1109/CSF.2013.16",
language = "English",
isbn = "9780769550312",
series = "Proceedings of the Computer Security Foundations Workshop",
pages = "130--144",
booktitle = "Proceedings - 2013 IEEE 26th Computer Security Foundations Symposium, CSF 2013",
note = "2013 IEEE 26th Computer Security Foundations Symposium, CSF 2013 ; Conference date: 26-06-2013 Through 28-06-2013",
}