A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata
Wang, Ting, Sun, Jun, Wang, Xinyu, Liu, Yang, Si, Yuanjie, Dong, Jin Song, Yang, Xiaohu, Li, Xiaohong
Published in IEEE transactions on software engineering (01.01.2015)
Published in IEEE transactions on software engineering (01.01.2015)
Get full text
Journal Article
Model checking with fairness assumptions using PAT
SI, Yuanjie, SUN, Jun, LIU, Yang, DONG, Jin Song, PANG, Jun, ZHANG, Shao Jie, YANG, Xiaohu
Published in Frontiers of Computer Science (01.02.2014)
Published in Frontiers of Computer Science (01.02.2014)
Get full text
Journal Article
Role Engineering with SKAOS for Systems Employing RBAC
Chao Huang, Jianling Sun, Xinyu Wang, Yuanjie Si
Published in 2009 International Conference on Networking and Digital Society (01.05.2009)
Published in 2009 International Conference on Networking and Digital Society (01.05.2009)
Get full text
Conference Proceeding
Separation of Duty Constraint for Permission Based Delegation Model
Chao Huang, Jianling Sun, Xinyu Wang, Yuanjie Si
Published in 2008 International Seminar on Business and Information Management (01.12.2008)
Published in 2008 International Seminar on Business and Information Management (01.12.2008)
Get full text
Conference Proceeding
Inconsistency Management of Role Base Access Control Policy
Chao Huang, Jianling Sun, Xinyu Wang, Yuanjie Si
Published in 2009 International Conference on E-Business and Information System Security (01.05.2009)
Published in 2009 International Conference on E-Business and Information System Security (01.05.2009)
Get full text
Conference Proceeding
Preprocessing the noise in legacy user permission assignment data for role mining - An industrial practice
Chao Huang, Jianling Sun, Xinyu Wang, Yuanjie Si, Di Wu
Published in 2009 IEEE International Conference on Software Maintenance (01.09.2009)
Published in 2009 IEEE International Conference on Software Maintenance (01.09.2009)
Get full text
Conference Proceeding
An architecture-based reliability estimation framework through component composition mechanisms
Yuanjie Si, Xiaohu Yang, Xinyu Wang, Chao Huang, Kavs, A J
Published in 2010 2nd International Conference on Computer Engineering and Technology (01.04.2010)
Published in 2010 2nd International Conference on Computer Engineering and Technology (01.04.2010)
Get full text
Conference Proceeding