Lian Mo

Secure Framework and Key Agreement Mechanism for OPC-UA in Industrial IoT

Min Wei, Keecheon Kim, Yuan Zhuang, 2018, IMCOM.

A formal approach to designing secure software architectures

Yi Deng, Huiqun Yu, Xudong He, 2004, Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings..

Enforcement of Role Based Access Control in Social Network Environments

Junhua Ding, Lian Mo, 2012, 2012 IEEE Sixth International Conference on Software Security and Reliability Companion.

Refinement methods for software architecture design using the software architecture model

Xudong He, Lian Mo, 2005 .

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.

An approach for specification construction using property-preserving refinement patterns

Xudong He, Junhua Ding, Lian Mo, 2008, SAC '08.

Integrating Security Administration into Software Architectures Design

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

Formal Analysis of Real-Time Systems with SAM

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