Yahui Lu

Personal profile

Yahui Lu is currently an Associate Professor with the College of Computer Science and Software Engineering, Shenzhen University, China. He received his Ph.D degree from the Department of Computer Science and Technology, Tsinghua University in 2008.

Education experience

work experience

  • 2012-Present:  Associate Professor, Shenzhen University

  • 2008- 2011:  Lecturer, Shenzhen  University

  • 2003-2008:  Ph. D Candidate.
    Thesis: Research on  Access Control Model and Security Analysis in Workflow  Systems

  • 2000-2003:  Master Candidate
    Thesis: A Research on  WebGIS System Based on Web Service

Research direction

Process Calculus andPetri Net Workflow and Business Process Internet of Things Game Theory



Journal  Papers:

1.     Zhinian  Zhai; Jianqing Xi; Yahui Lu; Deyou Tang; Yubin Guo; Kai Wei. Association  Inheritance Mechanism in Active Authorization Management. Journal of Xi'an Jiaotong University, Vol 46, Issue 4, 2012, pp:  24-31.  (in  Chinese)

2.     Yahui  Lu,  Zhong Min, Li Zhang. Collaborative Patterns of Business Process. Computer Integrated Manufacturing  Systems. 17(8), 2011. (in Chinese) (EI:  20113814344020)

3.     Zhinian  Zhai, Yahui Lu, yubin Guo, Lianyin Jia, Jianqing Xi, Yanxia Liu.  Scalability enhanced active-passive-integrated access control modelComputer  Integrated Manufacturing Systems.  17(8), 2011. (in Chinese)  (EI:  20113814344025)

4.     Jianqiang  Li, Yahui Lu, Zhen Ji. Constrained Optimal Controller Design of Aerial  Robotics Based on Invariant Sets. Journal  of Software, 6(2) 2011. (EI: 20110813696718)

5.     Jianqiang  Li, Hailong Pei, Yahui Lu. Hybrid Systems Model and  Optimization Control of Aerial Robotics. Computer  Science,  Issue 4, 2010  (in  Chinese)

6.     Li  Zhang, Yahui Lu, Faye Xu. Unified Modeling and Analysis of Collaboration  Business Process based on Petri nets and Pi calculus. IET Software,4(5), 2010 (SCI:  WOS:000282144900001)

7.     Yahui  Lu,  Li Zhang, Jiaguang Sun. Task-activity based access control for process  collaboration environments. Computers in  Industry. Vol 60 Issue 6 (July 2009)

8.     Yahui  Lu,  Li Zhang, Jiaguang Sun. Using Colored Petri Nets to Model and Analyze Workflow  with Separation of Duty Constraints. International Journal of Advanced  Manufacturing Technology, Vol 40, Issue 1 (2009), pp 179-185  

9.     Yahui  Lu,  Li Zhang, Jiaguang Sun. Types for Task-based Access Control in Workflow Systems.  IET Software, Vol 2, Issue 5 (2008),  pp: 461-473

10.Yinbo  Liu, Li Zhang, Yahui Lu, Jianmin Wang. Component-based open workflow  integration framework. Computer  Integrated Manufacturing Systems ,Vol 13, Issue 7 (2007), pp:1350-1353 (in  Chinese)

11.Yahui  Lu,  Li Zhang, Jiaguang Sun. Domain-based integrated access control mode. Computer Integrated Manufacturing  Systems, Vol 12 (2006) , No 12, pp 1978-1985  (in Chinese)

12.Yahui  Lu,  Kunying Geng. Study and Application of Authorization Model in PDM/PLM. Digital Manufacturing Industry.  2005(4),  pp: 34-36   (in  Chinese)

13.Yuqi  Bai, Chongjun Yang, Donglin Liu, Huaji Zhu, Yahui Lu, Xiaopin Rui.  OpenGIS WMS Based Prototype of Spatial Information Search Engine. Journal of Image and Graphics.Vol 9,  Issue 1, 2004. (in Chinese)

14.Yahui  Lu,  Chongjun Yang. A Research on WebGIS System Based on Web Service. Computer Engineering and Applications.  Vol 39, Issune 25 (2003), pp: 153-156   (in Chinese)

15.Shunxing  Dang, Yahui Lu, Chongjun Yang. Study on Dynamic Publication of Internet  GIS Graphics. Computer Engineering and  Applications. Vol 38, Issue 23. 2002   (in Chinese)

16.Xiapin  Rui, Yahui Lu, Chongjun Yang, Yanmin Zhang. A Research on the Displaying  of Vector Data and Raster Data Contemporarily above the Three-Dimension Terrain.  Computer Engineering and  Applications. Vol 38, Issue 20. 2002. (in Chinese)

Conference Papers & Book  Chapters:

17.Zhong  MingLijuan  Tang, Yahui Lu, Li Zhang. A bisimilarity metric for processes based on  game semantics. ICMV 2011. (EI:20120914805505)

18.Wenjie  Sha, Li Zhang, Yue Bem, Yahui Lu. Compliance verification using a joint  model of open workflow net and global calculus. ICCT 2010.(EI:  20111713939304)

19.Wenjie  Sha,  Li Zhang, and Yahui Lu.  Deadlock-free Solution in Collaborative Workflow Environment. In  Proceedings of  the 2009 Fifth International Conference on Next Generation Web Services  Practices  (NWESP '09)

20.Yahui  Lu,  Li Zhang. Types for Workflow Access Control in Web Service Context. First  International Conference on Cloud  Computing, (CLOUD 2009), Los  Angeles, CA,USA, July 6-10, 2009   (EI 20095312601423)

21.Yahui  Lu,  Li Zhang. Domain Administration of Task-role Based Access Control for Process  Collaboration Environments. Fifth  International Conference on Information Assurance and Security (IAS2009),  Xi'an,ChinaAugust 18-20, 2009,  (EI 20100312642519)

22.Yahui  Lu,  Li Zhang, Jiaguang Sun ,Towards trace semantics for WS-CDL with  alignmentsProceedings  of the  23th ACM Symposium of Applied Computing,  Brazil, March, 2008pp:95-99

23.Yahui  Lu,  Li Zhang, Yinbo Liu, Jiaguang Sun. A Distributed Domain Administration of RBAC  Model in Collaborated Environments, Proceedings  of CSCWD2006,  Nanjing,China, 2006,  pp:935-940

24.Yahui  Lu,  Li Zhang, Yinbo Liu, Jiaguang Sun. Using pi-calculus to formalize domain  administration of RBAC. Proceedings  of the second  International Conference on Information Security Practice and  Experience,  Hangzhou,China, 2006,  pp:278-289

Doctoral tutor

Research project

0755-2653 0821