Lian Mo

Integrating Security Administration into Software Architectures Design

Yi Deng, Huiqun Yu, Xudong He, 2004, SEKE.

A formal method for analyzing software architecture models in SAM

Yi Deng, Huiqun Yu, Xudong He, 2002, Proceedings 26th Annual International Computer Software and Applications.

Formal Analysis of Real-Time Systems with SAM

Yi Deng, Huiqun Yu, Xudong He, 2002, ICFEM.