Login / Signup
Lian Mo
Publication Activity (10 Years)
Years Active: 2002-2018
Publications (10 Years): 1
Top Topics
Rbac Model
Role Based Access Control
Multi Domain
Social Influence
Top Venues
SERE (Companion)
IMCOM
</>
Publications
</>
Min Wei
,
Lian Mo
,
Yuan Zhuang
,
Keecheon Kim
Secure Framework and Key Agreement Mechanism for OPC-UA in Industrial IoT.
IMCOM
(2018)
Junhua Ding
,
Lian Mo
Enforcement of Role Based Access Control in Social Network Environments.
SERE (Companion)
(2012)
Junhua Ding
,
Lian Mo
,
Xudong He
An approach for specification construction using property-preserving refinement patterns.
SAC
(2008)
Huiqun Yu
,
Xudong He
,
Yi Deng
,
Lian Mo
A Formal Approach to Designing Secure Software Architectures.
HASE
(2004)
Huiqun Yu
,
Xudong He
,
Yi Deng
,
Lian Mo
Integrating Security Administration into Software Architectures Design.
SEKE
(2004)
Huiqun Yu
,
Xudong He
,
Yi Deng
,
Lian Mo
Formal Analysis of Real-Time Systems with SAM.
ICFEM
(2002)
Huiqun Yu
,
Xudong He
,
Yi Deng
,
Lian Mo
A Formal Method for Analyzing Software Architecture Models in SAM.
COMPSAC
(2002)