Q. Shi

18 Experience in Application of Composable Security Properties

Q. Shi, 2015 .

Applying noninterference to composition of systems: a more practical approach

Qi Shi, John A. McDermid, Jonathan D. Moffett, 1993, Proceedings of 9th Annual Computer Security Applications Conference.

Constructing secure distributed systems using components

Qi Shi, John A. McDermid, Q. Shi, 1993, Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems.

Developing secure systems in a modular way

J. A. McDermid, Q. Shi, J. D. Moffett, 1993, COMPASS '93: Proceedings of the Eighth Annual Conference on Computer.

Secure composition of systems

Qi Shi, John A. McDermid, Q. Shi, 1992, [1992] Proceedings Eighth Annual Computer Security Application Conference.

A formal approach for security evaluation

J. A. McDermid, Q. Shi, Q. Shi, 1992, COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance.