Michael Yanguo Liu

Quantitative security analysis for service-oriented software architectures

Michael Yanguo Liu, 2008 .

Empirical relation between coupling and attackability in software systems:: a case study on DOS

Issa Traoré, Michael Yanguo Liu, 2006, PLAS '06.

Formal Analysis of an Agent-Based Medical Diagnosis Confirmation System: (Extended Abstract)

Issa Traoré, Michael Yanguo Liu, Alexander M. Hoole, 2002, FAABS.

Measurement Framework for Software Privilege Protection Based on User Interaction Analysis

Issa Traoré, Michael Yanguo Liu, 2005, IEEE METRICS.