Searching for authors named "Qi Shi" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
A Formal Model of Security Dependency for Analysis and Testing of Secure Systems
- …A Formal Model of Security Dependency for Analysis and Testing of Secure Systems Qi Shi and J…
- Cited by 3 (1 self) – Add To MetaCart
-
A Formal Approach for Security Evaluation
- …A Formal Approach for Security Evaluation J.A. McDermid and Qi Shi Department of Computer Science…
- Cited by 2 (1 self) – Add To MetaCart
-
Key Management for Wireless Sensor Networks in Building Environments
- … Merabti, Qi Shi, David Llewellyn-Jones School of Computing & Mathematical Sciences, Liverpool John…
- Add To MetaCart
-
Harnessing Emergent Ubiquitous Computing Properties to Prevent Malicious Code Propagation
- … Llewellyn-Jones, Madjid Merabti, Qi Shi, Bob Askwith School of Computing and Mathematical Sciences…
- Add To MetaCart
-
Utilising Component Composition for Secure Ubiquitous Computing
- … Merabti, Qi Shi, Bob Askwith School of Computing and Mathematical Sciences Liverpool John Moores…
- Add To MetaCart
-
An Extensible Framework for Practical Secure Component Composition in a Ubiquitous Computing Environment
- … Environment David Llewellyn-Jones, Madjid Merabti, Qi Shi, Bob Askwith School of Computing and Mathematical…
- Cited by 2 (1 self) – Add To MetaCart
-
Buffer overrun prevention through component composition analysis
- … Merabti, Qi Shi, Bob Askwith School of Computing and Mathematical Sciences, Liverpool John Moores…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 7.
