Quantum Information-Flow Security: Noninterference and Access Control

Mingsheng Ying, Yuang Feng, Nengkun Yu