Lü, Cong Dong; Han, Zhen A method to keep noninterference in multi-level security policy refinement. (Chinese. English summary) Zbl 1479.94230 J. Sichuan Univ., Eng. Sci. Ed. 47, No. 4, 136-141 (2015). MSC: 94A60 Cryptography × Cite Format Result Cite Review PDF