Lian Mo

According to our database, Lian Mo authored at least 7 papers between 2002 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

Min Wei, Lian Mo, Yuan Zhuang, Keecheon Kim

Proceedings of the 12th International Conference on Ubiquitous Information Management and Communication, 2018

2012

Enforcement of Role Based Access Control in Social Network Environments.

Junhua Ding, Lian Mo

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

2008

An approach for specification construction using property-preserving refinement patterns.

Junhua Ding, Lian Mo, Xudong He

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2004

Integrating Security Administration into Software Architectures Design.

Huiqun Yu, Xudong He, Yi Deng, Lian Mo

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

A Formal Approach to Designing Secure Software Architectures.

Huiqun Yu, Xudong He, Yi Deng, Lian Mo

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2002

Formal Analysis of Real-Time Systems with SAM.

Huiqun Yu, Xudong He, Yi Deng, Lian Mo

Proceedings of the Formal Methods and Software Engineering, 2002

A Formal Method for Analyzing Software Architecture Models in SAM.

Huiqun Yu, Xudong He, Yi Deng, Lian Mo

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002